@article{Milner_1984,
    doi = {10.1016/0022-0000(84)90023-0},
    url = {https://doi.org/10.1016%2F0022-0000%2884%2990023-0},
    year = {1984},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {28},
    number = {3},
    pages = {439--466},
    author = {Robin Milner},
    title = {A complete inference system for a class of regular behaviours},
    journal = {Journal of Computer and System Sciences}
}

@article{Milner_1984, doi = {10.1016/0022-0000(84)90023-0}, url = {https://doi.org/10.1016%2F0022-0000%2884%2990023-0}, year = {1984}, month = {jun}, publisher = {Elsevier {BV}}, volume = {28}, number = {3}, pages = {439--466}, author = {Robin Milner}, title = {A complete inference system for a class of regular behaviours}, journal = {Journal of Computer and System Sciences} }