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