Information systems engineering a formal approach - Hee, Kees Max van 1946- (Cambridge Univ. Press, 1994)