APA (7th ed.) Citation

Baeten, J. C. M., & Bergstra, J. A. (1989). Recursive process definitions with the state operator.

Chicago Style (17th ed.) Citation

Baeten, Josephus C. M., and Jan A. Bergstra. Recursive Process Definitions with the State Operator. Amsterdam, 1989.

MLA (9th ed.) Citation

Baeten, Josephus C. M., and Jan A. Bergstra. Recursive Process Definitions with the State Operator. 1989.