Mendler, MichaelMichaelMendler2019-09-192014-09-242004https://fis.uni-bamberg.de/handle/uniba/10079engFormal aspects of computing : the international journal of formal methodsperiodicalpart