Fernando, R. T. (1993). Bisimulations and predicate logic.
Chicago-Zitierstil (17. Ausg.)Fernando, R. T. Bisimulations and Predicate Logic. Amsterdam, 1993.
MLA-Zitierstil (9. Ausg.)Fernando, R. T. Bisimulations and Predicate Logic. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.