Synthesizing synchronous systems by static scheduling in space-time - Lisper, Björn (Springer, 1989)