https://www.open.ou.nl/ssj/prdk
http://web.archive.org/web/20121127092829/http://reo.project.cwi.nl/reo/
https://doi.org/10.1007/978-3-662-49674-9_33
View/edit source (Markdown)