Program Construction and Generation Based on Recursive Types. MSc thesis INF/SCR-95-12 (1995)

by T Vos