Notational definitions -- a formal account (1988)

by T G Griffin
Venue:Research Institute for Mathematical Sciences, Kyoto University