TYPES 1996
(1996)
Mäenpää, Petri (1996)
Mäenpää, Petri "Semantical BNF"