Information systems engineering : a formal approach /
Hee, K. M. van.
Cambridge : Cambridge University Press,
1994.