' Verified Functional Algorithms
Andrew W. Appel



 

Version 1.4 (25 Aug 2018, Coq 8.8.0)