' Verified Functional Algorithms
Andrew W. Appel



 

Version 1.1 (06 Sep 2017, Coq 8.6)