@misc{indiciae94d515e07aa7,
  title = {A Type-based Approach to Separating Protocol from Application Logic.},
  author = {Sottile, Matthew and Hulette, Geoffrey Compton and Malony, Allen},
  year = {2012},
  url = {https://www.osti.gov/biblio/1060467},
  note = {Source identifier: 1060467}
}