Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971