ACM - affordances
Robert M. Balzer
Neil M. Goldman
David S. Wile
ACM SIGSOFT Software Engineering Notes
Database abstractions: aggregation and generalization
Submitted to Science of Computer Programming
a specification and verification system," in Proceedings IFIP 80, pp
Mappings for rapid prototyping
Guarded commands, nondeterminacy and formal derivation of programs
Using symbolic execution to characterize behavior