APA (7th ed.) Citation

Glabbeek, R. v. (1993). What is branching time semantics and why to use it?

Chicago Style (17th ed.) Citation

Glabbeek, Rob van. What Is Branching Time Semantics and Why to Use It? Stanford, Calif, 1993.

MLA (9th ed.) Citation

Glabbeek, Rob van. What Is Branching Time Semantics and Why to Use It? 1993.