Manfred Broy Albrecht Schmidt 0001 70-72 2014 47 Computer 2 https://doi.org/10.1109/MC.2014.30 http://doi.ieeecomputersociety.org/10.1109/MC.2014.30 https://www.wikidata.org/entity/Q59906314 db/journals/computer/computer47.html#BroyS14