@INPROCEEDINGS{Gibson08I,
  author = {Gibson, {J. Paul}},
  title = { Formal methods --- never too young to start},
  booktitle = {Formal Methods in Computer Science Education ({FORMED 2008})},
  year = {2008},
  editor = {Zoltan Istenes},
  pages = {151-160},
  address = {Budapest, Hungary},
  month = mar,
  note = {Accepted for publication in ENTCS}
}