Zohar Manna Amir Pnueli Specification and Verification of Concurrent Programs By Forall-Automata. 1-12 1987 POPL db/conf/popl/popl87.html#MannaP87 http://doi.acm.org/10.1145/41625.41626