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}, }