Shmuel Rotenstreich Orthogonal Languages: A Framework for Program Development. 83-100 1992 17 Comput. Lang. 2 db/journals/cl/cl17.html#Rotenstreich92