Production systems : a formalism for specifying the syntax and translation of computer languages /
Ledgard, Henry F.
Oxford :  Oxford University Computing Laboratory, Programming Research Group, 
1970.