Notational definition - a formal account (0)

by T G Griffin
Venue:Proc. 3rd Annual IEEE Symposium on Logic in Computer Science