A syntax directed approach to picture semantics - Wang, Dejuan; Zeevat, Henk (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1996)