Program design calculi - Broy, Manfred (Berlin Springer-Verlag, 1993)
Keywords: Computer programming; Programme design