1
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...On the aesthetics of diagrams -- Generalising monads -- A proof rule for control loops -- Relation...