Ponse, A., Rijke, M. d., Venema, Y., Ponse, A., & Venema, Y. (1995). Modal logic and process algebra: A bisimulation perspective. Stanford, Calif: CSLI Publications.
Παραπομπή Chicago StylePonse, A., Maarten de Rijke, Yde Venema, Alban Ponse, and Yde Venema. Modal Logic and Process Algebra: A Bisimulation Perspective. Stanford, Calif: CSLI Publications, 1995.
Παραπομπή MLAPonse, A., et al. Modal Logic and Process Algebra: A Bisimulation Perspective. Stanford, Calif: CSLI Publications, 1995.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.