Software engineering concepts and techniques : proceedings of the NATO Conferences - Naur, Peter; Randell, Brian; Buxton, J. N. (Petrocelli Charter, 1976)