User:Ajp256/Three Prisoners problem/Bibliography