Describir: A formal system for defining the syntax and semantics of computer languages / by Henry F. Ledgard.