-B. Lisper: Synthesizing Synchronous Systems by Static Scheduling in Space-Time, Springer-Verlag 1989