@inproceedings{Staples_KKLAMJB_13,
    address          = {San Francisco, USA},
    author           = {Staples, Mark and Kolanski, Rafal and Klein, Gerwin and Lewis, Corey and Andronick, June and Murray,
                        Toby and Jeffery, Ross and Bass, Len},
    booktitle        = {International Conference on Software Engineering},
    editor           = {{David Notkin, Betty H. C. Cheng, Klaus Pohl}},
    month            = may,
    pages            = {1257--1260},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6416.pdf},
    publisher        = {IEEE},
    title            = {Formal Specifications Better Than Function Points for Code Sizing},
    year             = {2013}
  }