Olaf Burkart Bernhard Steffen Composition, Decomposition and Model Checking of Pushdown Processes. 89-125 1995 2 Nord. J. Comput. 2 db/journals/njc/njc2.html#BurkartS95