Formal Methods in Computation

Faron Moller. Formal Methods in Computation. Comput. J., 45(1):1, 2002. [doi]

@article{Moller02:0,
  title = {Formal Methods in Computation},
  author = {Faron Moller},
  year = {2002},
  url = {http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_01/450001.sgm.abs.html},
  researchr = {https://researchr.org/publication/Moller02%3A0},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {45},
  number = {1},
  pages = {1},
}