Warren Teitelman Toward a Programming Laboratory. 1-8 1969 IJCAI db/conf/ijcai/ijcai69.html#Teitelman69