Alexander KnappBooksErnest Bloch StudiesCritical Systems : Formal Methods and Automated VerificationAuthor data: Open Library