Warren Teitelman A Display Oriented Programmer's Assistant. 905-915 1977 IJCAI db/conf/ijcai/ijcai77.html#Teitelman77