Fernando, R. T. (1993). Bisimulations and predicate logic. Centrum voor Wiskunde en Informatica.
Chicago Style (17th ed.) CitationFernando, R. T. Bisimulations and Predicate Logic. Amsterdam: Centrum voor Wiskunde en Informatica, 1993.
MLA (9th ed.) CitationFernando, R. T. Bisimulations and Predicate Logic. Centrum voor Wiskunde en Informatica, 1993.
Warning: These citations may not always be 100% accurate.