Imprecise exceptions, coinductively (1999)

by A K Moran, S B Lassen, S L P Jones
Venue:In Proceedings of HOOTS’99, volume 26 of ENTCS