APA (7th ed.) Citation

Frauenstein, T., Baldamus, M., & Glas, R. (1996). Congruence proofs for weak bisimulation on higher order processes: Results for typed omega-order calculi. Techn. Univ. Berlin, Fachbereich 13, Informatik.

Chicago Style (17th ed.) Citation

Frauenstein, Thomas, Michael Baldamus, and Rainer Glas. Congruence Proofs for Weak Bisimulation on Higher Order Processes: Results for Typed Omega-order Calculi. Berlin: Techn. Univ. Berlin, Fachbereich 13, Informatik, 1996.

MLA (9th ed.) Citation

Frauenstein, Thomas, et al. Congruence Proofs for Weak Bisimulation on Higher Order Processes: Results for Typed Omega-order Calculi. Techn. Univ. Berlin, Fachbereich 13, Informatik, 1996.