Takayama, Y. (1988). Extended projection method in proofs-as-programs.
Chicago-Zitierstil (17. Ausg.)Takayama, Yukihide. Extended Projection Method in Proofs-as-programs. Tokyo, Japan, 1988.
MLA-Zitierstil (9. Ausg.)Takayama, Yukihide. Extended Projection Method in Proofs-as-programs. 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.