Pengarang: Yuqing Tang, Kai Cai, Peter McBurney, Elizabeth Sklar, and Simon Parsons
| No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 979-1018
| Penerbitan: Oxford University Press
Pengarang: dsko DeVries, Adrian Francalanza, and Matthew Hennessy
| No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 531-556
| Penerbitan: Oxford University Press
Pengarang: Takayuki Kihara and Kenshi Miyabe
| No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 863-882
| Penerbitan: Oxford University Press