Peter Padawitz Towards the one-tiered design of data types and transition systems. 365-380 1997 conf/wadt/1997 WADT db/conf/wadt/wadt97.html#Padawitz97