Selected papers that cite this one Teodor Rus. Algebraic processing of programming languages. Theoretical Computer Science, 199(1-2):105-143, 15 June 1998.