Teodor Rus An Algebraic Model for Programming Languages. 173-195 1987 12 Comput. Lang. 3/4 db/journals/cl/cl12.html#Rus87