Syntactic definitions of undefined: On defining the undefined (1994)

by Z Ariola, R Kennaway, J W Klop, R Sleep, F-J de Vries
Venue:Proceedings of TACS '94. International Symposium on Theoretical Aspects of Computer Software