Synthesizing synchronous systems by static scheduling in space-time - Lisper Bjorn (Berlin Springer-Verlag, 1989)
Keywords: Computer programming