' Verified Functional Algorithms
Andrew W. Appel



 

Version 1.3 (02 May 2018, Coq 8.7.1)