A logical calculus for polynomial-time realizability. - John N. Crossley; Gerald L. Mathai; Robert A. G. Seely (Methods Log. Comput. Sci., 1994)