Warren Teitelman A Tour Through Cedar. 285-302 1985 11 IEEE Trans. Software Eng. 3 db/journals/tse/tse11.html#Teitelman85