@article{Groote_2002,
    doi = {10.1145/636517.636531},
    url = {https://doi.org/10.1145%2F636517.636531},
    year = {2002},
    month = {dec},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {37},
    number = {12},
    pages = {98--107},
    author = {Jan Friso Groote and Bert Lisser},
    title = {Computer assisted manipulation of algebraic process specifications},
    journal = {{ACM} {SIGPLAN} Notices}
}

@article{Groote_2002, doi = {10.1145/636517.636531}, url = {https://doi.org/10.1145%2F636517.636531}, year = {2002}, month = {dec}, publisher = {Association for Computing Machinery ({ACM})}, volume = {37}, number = {12}, pages = {98--107}, author = {Jan Friso Groote and Bert Lisser}, title = {Computer assisted manipulation of algebraic process specifications}, journal = {{ACM} {SIGPLAN} Notices} }