Book

Foundations of computer science IV

by J. W. de Bakker, J. van Leeuwen