Software engineering proceedings of a symposium held at The Queen's University of Belfast 1976 (Acad. Press, 1977)