@misc{indiciaeff309320e486,
  title = {Data Automata in Scala},
  author = {Havelund, Klaus},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20160005624},
  note = {Source identifier: 20160005624}
}