Fernando, R. T. (1992). A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation. Centrum voor Wiskunde en Informatica.
Chicago-Zitierstil (17. Ausg.)Fernando, R. T. A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. Amsterdam: Centrum voor Wiskunde en Informatica, 1992.
MLA-Zitierstil (9. Ausg.)Fernando, R. T. A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. Centrum voor Wiskunde en Informatica, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.