Unfolding Abstract Datatypes (2008)

by J Gibbons
Venue:In Proc. of MPC