Theoretical foundations of programming methodology : lecture notes of an International summer school - Broy, Manfred (NATO Advanced Study Institutes Series. Series C Mathematical and Physical Sciences ;, 1982)