Automatic Verification of Sequential Infinite-State Processes - Burkart, Olaf; Burkart, Olaf (Springer Berlin Heidelberg : Imprint: Springer, 1997)