' Verified Functional Algorithms
Andrew W. Appel



 

Version 1.4 (02 May 2019, Coq 8.8.1)