Towards the One-Tiered Design of Data Types and Transition Systems (1998)

by P Padawitz
Venue:Proc. WADT ’97, Springer LNCS 1376