Alessandra Russo Andy Schürr Heike Wehrheim 457-458 2019 31 Formal Aspects Comput. 5 https://doi.org/10.1007/s00165-019-00495-y db/journals/fac/fac31.html#RussoSW19