Book

Foundations of Software Science and Computation Structures

by Mikołaj Bojańczyk, Alex Simpson