A polynomial algorithm for deciding bisimularity of normed context-free processes by Yoram Hirshfeld. Published by LFCS, Dept. of Computer Science, University of Edinburgh in 1994. Publication and catalogue information, links to buy online and reader comments.