Hyperprogramming: A formal approach to software environments (1990)

by Joseph Goguen
Venue:In Proceedings, Symposium on Formal Approaches to Software Environment Technology. Joint System Development Corporation