Michael L. Dertouzos 182-187 conf/focs/FOCS12 1971 SWAT (FOCS) db/conf/focs/focs71.html#Dertouzos71 http://doi.ieeecomputersociety.org/10.1109/SWAT.1971.27