Specification and synthesis of communicating processes using an extended temporal logic (1982)

by P Wolper
Venue:In POPL