VAN HEE,K.M INFORMATION SYSTEMS ENGINEERING:A FORMAL APPROACH - Cambridge Cambridge University Press 1994 - 26X18 ISBN: 0521455146 Dewey Class. No.: 621.381952 V217