Zohar Manna Amir Pnueli Synchronous Schemes and Their Decision Problems. 62-67 1980 POPL db/conf/popl/popl80.html#MannaP80