G. Japaridze, “Intuitionistic computability logic”, Acta Cybern, vol. 18, no. 1, pp. 77-113, Jan. 2007.