Book

Foundations of Software Science and Computation Structures

by Christel Baier, Ugo Dal Lago