Groote, J. F., & Ponse, A. (1990). Process algebra with guards: Combining Hoare logic with process algebra.
Chicago Style (17th ed.) CitationGroote, Jan F., and Alban Ponse. Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Amsterdam, 1990.
MLA (9th ed.) CitationGroote, Jan F., and Alban Ponse. Process Algebra with Guards: Combining Hoare Logic with Process Algebra. 1990.
Warning: These citations may not always be 100% accurate.