Martín Abadi Leslie Lamport Pierre Wolper Realizable and Unrealizable Specifications of Reactive Systems. 1-17 1989 conf/icalp/1989 ICALP db/conf/icalp/icalp89.html#AbadiLW89 http://dx.doi.org/10.1007/BFb0035748