A logical framework for program analysis (1992)

by G L Burn
Venue:Proceedings of the 1992 Glasgow Functional Programming Workshop