Vol-1692⫷ Vol-1693 ⫸Vol-1694
urn:nbn:de:0074-1693-0


Vol-1693/voltpaper1⫷Vol-1693/voltpaper2⫸Vol-1693/voltpaper3

Verified bidirectional transformations by construction