A theory of classes for a functional language with effects (1993)

by F Honsell, I A Mason, S F Smith, C L Talcott
Venue:In Proceedings of CSL92, volume 702 of Lecture Notes in Computer Science