Blass, et al.. Yuri, Logic, and Computer Science. Springer Berlin Heidelberg, 2010, doi:10.1007/978-3-642-15025-8_1.