On Lamport's comparison between linear and branching time temporal logicSusanne GrafRAIRO. Inform. théor., 18 4 (1984) 345-353DOI: https://doi.org/10.1051/ita/1984180403451
