Book

Foundations of computer science II

by Krzysztof R. Apt, J. W. de Bakker