Hyperprogramming: formal approach to software environments, in (1990)

by J Goguen
Venue:Proc. Symp. on Formal Approaches to Software Environment Technology, Joint System Development Corporation