%A Heinz Zemanek
%T The role of Professor A. van\ Wijngaarden in the history of IFIP
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 1-28

%A Anthony I. Wasserman
%T PLAIN: an algorithmic language for interactive information systems
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 29-47

%A Rudolf Schild
%T PORTAL - a Pascal-based real-time programming language
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 49-58

%A J.D. Roberts
%T Naming by colours:
a graph-theoretic approach to distributed structure
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 59-76

%A Henry S. Warren,\ Jr.
%T Optimization of inductive assertions
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 77-98

%A Alain Bossavit
%A Bertrand Meyer
%T The design of vector programs
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 99-114

%A Paul Klint
%T Formal language definitions can be made practical
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 115-132

%A John Backus
%T Is computer science based on the wrong fundamental concept
of "program" ? an extended concept
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 133-165

%A Lambert Meertens
%T Issues in the design of a beginners' programming language
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 167-184

%A D. Grune
%T From VW-grammar to ALEPH
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 185-202

%A M. Broy
%A P. Pepper
%A M. Wirsing
%T On design principles for programming languages: an algebraic approach
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 203-219

%A John Darlington
%T The structured description of algorithm derivations
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 221-250

%A Masahiko Sato
%A Masami Hagiya
%T Hyperlisp
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 251-269

%A Dennis de\ Champeaux
%A Jos de\ Bruin
%T Symbolic evaluation of Lisp functions with side effects
for verification
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 271-291

%A Peter Naur
%T Aad van Wijngaarden's controbutions to Algol 60
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 293-304

%A Maarten M. Fokkinga
%T On the notion of strong typing
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 305-320

%A H.B.M. Jonkers
%T Abstract storage structures
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 321-343

%A John C. Reynolds
%T The essence of Algol
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 345-372

%A R. Kuiper
%T An operational semantics for bounded nondeterminism
equivalent to a denotational one
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 373-398

%A Orna Grumberg
%A Nissim Francez
%A Johann A. Makowsky
%A Willem P. de\ Roever
%T A proof rule for fair termination of guarded commands
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 399-416

%A Wladislaw M. Turski
%T Algol 68 revisited twelve years later or from AAD to ADA
%J Proceedings of the International Symposium on Algorithmic Languages
%C Amsterdam, The Netherlands
%D 1981
%O published as "Algorithmic languages" by North-Holland
%K algo_l
%P 417-431