Edmund M. Clarke & E. Allen Emerson (1981):
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic.
In: Logics of Programs, Workshop, Yorktown Heights, New York, May 1981,
pp. 52–71,
doi:10.1007/BFb0025774.
Javier Esparza & Keijo Heljanko (2008):
Unfoldings - A Partial-Order Approach to Model Checking.
Monographs in Theoretical Computer Science. An EATCS Series.
Springer,
doi:10.1007/978-3-540-77426-6.