A logical view of composition (1992)

by Martín Abadi, Gordon Plotkin