@misc{indiciae4200e711837f,
  title = {Closing the Gap Between Specification and Programming: VDM++ and SCALA},
  author = {Havelund, Klaus},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20130009360},
  note = {Source identifier: 20130009360}
}