A Logical View of Composition and Refinement (1991)

Cached

Download Links

by Martín Abadi , Gordon D. Plotkin
Citations:15 - 5 self