M. J. Poole, Arun V. Holden, John V. Tucker: Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms. Prospects for Hardware Foundations 1998: 184-235