A Modular Specification of Oberon0 Using the Silver Attribute Grammar System.

Ted Kaminski and Eric Van Wyk,

Science of Computer Programming, 114 (C): 29-40, November, 2015, Elsevier..

PDF