' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.5.4 (2023-10-01 07:23, Coq 8.17 or later)