1-2 of 2 Books
An Attribute grammar for the semantic analysis of ADA
By J. Uhl,S. Drossopoulou,G. Persch,Gerhard Goos,M. Dausmann,G. Winterstein,W. Kirchgässner
Formal specification of programming languages
By Frank G. Pagan