A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Some extensions to algebraic specifications
Proceedings of an ACM conference on Language design for reliable software
Implications of a virtual memory mechanism for implementing protection in a family of operating systems
Panel: limitations of language design for reliable software
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |