Introduction to bidirectional transformations
scientific article; zbMATH DE number 7024104