Displaying similar documents to “Generalization of well-translation of formal languages”