@article{KOZEN_2016,
    doi = {10.1017/s0960129515000493},
    url = {https://doi.org/10.1017%2Fs0960129515000493},
    year = {2016},
    month = {feb},
    publisher = {Cambridge University Press ({CUP})},
    volume = {27},
    number = {7},
    pages = {1132--1152},
    author = {DEXTER KOZEN and ALEXANDRA SILVA},
    title = {Practical coinduction},
    journal = {Mathematical Structures in Computer Science}
}

@article{KOZEN_2016, doi = {10.1017/s0960129515000493}, url = {https://doi.org/10.1017%2Fs0960129515000493}, year = {2016}, month = {feb}, publisher = {Cambridge University Press ({CUP})}, volume = {27}, number = {7}, pages = {1132--1152}, author = {DEXTER KOZEN and ALEXANDRA SILVA}, title = {Practical coinduction}, journal = {Mathematical Structures in Computer Science} }