Unfolding Abstract Datatypes (Mathematics of Program Construction, 2008)

(untitled) - Gibbons, J