Mathematical structures in computer science : MSCS (Cambridge Univ. Press, 1991)