Presheaves as transition systems (1997)

by Glynn Winskel, Mogens Nielsen
Venue:DIMACS Series in Discrete Mathematics and Theoretical Computer Science