Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
On layout, identifiers and semicolons in Pascal programs
ACM SIGPLAN Notices
Some practical experiences formatting Pascal programs
ACM SIGPLAN Notices
| Hi-index | 0.00 |