Christof LödingBooksFoundations of Software Science and Computation StructuresAuthor data: Open Library