C. RattrayBooksA new English houseSpecification and verification of concurrent systemsAuthor data: Open Library