Towards One-Pass Synthesis by Rolf Drechsler & Wolfgang Gunther