Maurice J. Bach Nancy H. Goguen Michael M. Kaplan The ADAPT Data Translation System and Applications. 51- 1979 Berkeley Workshop db/conf/berkeley/berkeley79.html#BachGK79