Ibarra, et al.. Reachability Analysis for Some Models of Infinite-state Transition Systems. Springer Berlin Heidelberg, 2000, doi:10.1007/3-540-44618-4_15.