Soeken, Mathias2020-08-212020-08-212014978-3-88579-418-9https://dl.gi.de/handle/20.500.12116/33811deFormale Spezifikationsebene1617-5468