Machine--Supported Reasoning about Functional Language Programs and Implementations (1995)

by S Mintchev