' Verified Functional Algorithms
Andrew W. Appel



 

Version 1.4 (24 Jan 2019, Coq 8.8.1)