Robuta

https://ir.cwi.nl/pub/5228 Centrum Wiskunde & Informatica: Basic process algebra with iteration: completenss of its equational... basic process algebracentrumwiskundeinformaticaiteration