Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7). pp. 75-88. ISSN 1571-0661