Broy, Logic of Programming and Calculi of Discrete Design, NATO ASI Series, Springer-Verlag, 1987 (informationswissenschaftl. Veröffentlichungen)