Furio HonsellBooksPrima che sia domaniFoundations of Software Science and Computation StructuresOltre TriesteAuthor data: Open Library