Jonghand Smorynski. Kripke Models and the Intuitionistic Theory of Species. no. 1-2, Elsevier BV, 1976, doi:10.1016/0003-4843(76)90008-5.