C. A. R. Hoare;D. C. S. Allison
The Queen's University of Belfast, Belfast, Northern Ireland;The Queen's University of Belfast, Belfast, Northern Ireland
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Aspects of the ALGOL 68 mode structure
ACM SIGPLAN Notices
Domain science and engineering from computer science to the sciences of informatics. Part II: science
Cybernetics and Systems Analysis