' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.5.2 (2022-08-29 07:41, Coq 8.15 or later)