A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)Raymond E. Miller1972ACM SIGPLAN Notices
On Computing Distances Between Leaves in a Complete TreeRaymond E. MillerArnold L. Rosenberg2007International Journal of Computer Mathematics