mirror in my hand: A duality between specifications and models of process behaviour (1996)

by Mirror
Venue:Mathematical Structures in Computer Science