Software engineering : concepts and techniques - Naur, Peter; Buxton, J. N.; Randell, Brian