' Verified Functional Algorithms
Andrew W. Appel



 

Version 1.2 (02 Feb 2018, Coq 8.6)