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