Language design and programming methodology: Proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 (Lecture notes in computer science)