Martin Mikelsons Computer Assisted Application Definition. 233-242 1975 POPL db/conf/popl/popl75.html#Mikelsons75