Information systems engineering : a formal approach - Van Hee, K. M. (Kees Max), 1946- (Cambridge : The University Press, 1994)
Bibliography : p. 374-390
Keywords: Systems engineering; Information technology