Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Guarded commands, non-determinacy and a calculus for the derivation of programs
Proceedings of the international conference on Reliable software
The impact of language design on the production of reliable software
Proceedings of the international conference on Reliable software
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
Control constructs for programming languages
ACM SIGPLAN Notices
On the need for fewer restrictions in changing compile-time environments
ACM SIGPLAN Notices
"Structured programming" considered harmful
ACM SIGPLAN Notices
LISP 1.5 Programmer's Manual
| Hi-index | 0.00 |