Systemanalyse und -designKrzysztof R. Apt × ProgrammverifikationSequentielle, parallele und verteilte ProgrammeKrzysztof R. AptSpringer BerlinSoftcover1994