A HOL Basis for Reasoning about Functional Programs (1994)

by Sten Agerholm, Sten Agerholm, Ny Munkegade