Mathematical structures in computer science : a journal in the applications of categorical, algebraic and geometric methods in computer science (Cambridge University Press, 1991)