@article{Aitken_1998,
    doi = {10.1006/jsco.1997.0175},
    url = {https://doi.org/10.1006%2Fjsco.1997.0175},
    year = {1998},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {25},
    number = {2},
    pages = {263--284},
    author = {J.S. Aitken and P. Gray and T. Melham and M. Thomas},
    title = {Interactive Theorem Proving: An Empirical Study of User Activity},
    journal = {Journal of Symbolic Computation}
}

@article{Aitken_1998, doi = {10.1006/jsco.1997.0175}, url = {https://doi.org/10.1006%2Fjsco.1997.0175}, year = {1998}, month = {feb}, publisher = {Elsevier {BV}}, volume = {25}, number = {2}, pages = {263--284}, author = {J.S. Aitken and P. Gray and T. Melham and M. Thomas}, title = {Interactive Theorem Proving: An Empirical Study of User Activity}, journal = {Journal of Symbolic Computation} }