Pengarang: Vasco Brattka and Guido Gherardi
| No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 45-76
| Penerbitan: Oxford University Press
Pengarang: Márcio M. Ribeiro and Renata Wassermann
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 721-743
| Penerbitan: Oxford University Press
Pengarang: Andrew T Oberlin, Dominika A Jurkovic, Mitchell F Balish, and Iddo Friedberg
| No. Panggil: Database (Volume 2013, p.bat016)
| Penerbitan: Oxford University Press