A syntactic commutativity format for SOS
scientific article; zbMATH DE number 5599209