The M IX Rule, preprint (1991)

by A Fleury, C R'etor'e
Venue:Applications of Categories in Computer Science