David Harel On Visual Formalisms. 514-530 1988 31 Commun. ACM 5 db/journals/cacm/cacm31.html#Harel88