@inproceedings{h1transputer,
  title = "Formal methods in the development of the {H1 Transputer}",
  author = "A. W. Roscoe and A.D.B. Cox and M.H. Goldsmith and J.B. Scattergood",
  year = "1991",
  booktitle = "{Proceedings of Transputing 91}",
  publisher = "IOS",
}