Title: Beschreibung von Programmoduln zum Entwurf zuverlässiger Softwaresysteme
Subjects: Computer programs, Data structures (Computer science), Modular programming, Programming languages (Electronic computers), Reliability