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