Wan Fokkink, Hans Zantema. Basic Process Algebra with Iteration: Completeness of its Equational Axioms. Comput. J., 37(4):259-268, 1994.
@article{FokkinkZ94, title = {Basic Process Algebra with Iteration: Completeness of its Equational Axioms}, author = {Wan Fokkink and Hans Zantema}, year = {1994}, tags = {completeness, process algebra, algebra}, researchr = {https://researchr.org/publication/FokkinkZ94}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {37}, number = {4}, pages = {259-268}, }