Takayama, Y. (1990). QPC2, a second order logic for high order programming.
Chicago-Zitierstil (17. Ausg.)Takayama, Yukihide. QPC2, a Second Order Logic for High Order Programming. Tokyo, Japan, 1990.
MLA-Zitierstil (9. Ausg.)Takayama, Yukihide. QPC2, a Second Order Logic for High Order Programming. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.