Michael J. Butler 179-180 2016 28 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-016-0368-0 https://www.wikidata.org/entity/Q59625788 db/journals/fac/fac28.html#Butler16