A HOL Basis for Reasoning about Functional Programs (1994)

by Sten Agerholm , Sten Agerholm , Ny Munkegade
Citations:23 - 6 self