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