Zohar Manna Amir Pnueli The Modal Logic of Programs. 385-409 1979 conf/icalp/1979 ICALP db/conf/icalp/icalp79.html#MannaP79 http://dx.doi.org/10.1007/3-540-09510-1_31