Verification Of Sequential And Concurrent Programs by Krzysztof R. Apt, Frank S. de Boer & Ernst R. Olderog