L. Gundersen, “The master argument and branching time”, LLP, vol. 5, no. 5, pp. 49–60, Oct. 2003.