Validating and animating higherorder recursive functions (2007)

by Michael Leuschel, Dominique Cansell, Michael Butler
Venue:in B. In Jean-Raymond Abrial and Uwe Glässer, editors, Festschrift for Egon Börger