To appear in: Category Theory and Computer Science (Springer LNCS (1997)

by C Hermida