An abstract account of composition (1995)

by Martín Abadi, Stephan Merz
Venue:Mathematical Foundations of Computer Science