Compiler Writing System for Attribute Grammars. - Gregor von Bochmann; P. Ward (Comput. J., 1978)

Integration of formal verification with real-time design. - G. Krasovec; N. Shankar; P. Ward (WORDS, 1996)