@article{Huttel_1998,
    doi = {10.1093/logcom/8.4.485},
    url = {https://doi.org/10.1093%2Flogcom%2F8.4.485},
    year = {1998},
    month = {aug},
    publisher = {Oxford University Press ({OUP})},
    volume = {8},
    number = {4},
    pages = {485--509},
    author = {H Huttel},
    title = {Actions speak louder than words: proving bisimilarity for context-free processes},
    journal = {Journal of Logic and Computation}
}

@article{Huttel_1998, doi = {10.1093/logcom/8.4.485}, url = {https://doi.org/10.1093%2Flogcom%2F8.4.485}, year = {1998}, month = {aug}, publisher = {Oxford University Press ({OUP})}, volume = {8}, number = {4}, pages = {485--509}, author = {H Huttel}, title = {Actions speak louder than words: proving bisimilarity for context-free processes}, journal = {Journal of Logic and Computation} }