Foundations of Software Science and Computation StructuresMikołaj Bojańczyk, Alex Simpson · 2019Open the Tome
