@inproceedings{murphy2006grid,
  title = {Grid {ML} Programming with {ConCert}},
  author = {Murphy, VII, Tom},
  month = {September},
  year = {2006},
  location = {Portland, Oregon},
  booktitle = {{ML} Workshop 2006}
}