Comparing linear and branching time temporal logics - Stirling, Colin (Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series, 1987)