A syntax directed approach to picture semantics - Wang, Dejuan (Centrum voor Wiskunde en Informatica, 1996)