HYPERPROGRAMMING: A Formal Approach to Software Environments (1990)

by Joseph A. Goguen
Venue:In Proceedings, Symposium on Formal Approaches to Software Environment Technology. Joint System Development Corporation
Citations:22 - 13 self