H. Hungar

H. Hungar and B. Steffen. Local model-checking for context-free processes. Nordic Journal of Computing, 1(3):364-385, Fall 1994. Abstract, References, etc.