Searching program libraries by type and proving compiler correctness by bisimulation (1990)

by M Rittri