Book

Formal description of programming concepts

by Erich J. Neuhold, Paul, Manfred, Krzysztof R. Apt