Notational definition—a formal account (1988)

by T Griffin
Venue:In Proc. Symposium on Logic in Computer Science