No. 44 (1994): RS-44 A HOL Basis for Reasoning about Functional Programs

Published: 1994-12-27