A Uniform Model Theory for the Specification of Data and Process Types.

Horst Reichel A Uniform Model Theory for the Specification of Data and Process Types. 348-365 1999 conf/wadt/1999 WADT db/conf/wadt/wadt1999.html#Reichel99