@inproceedings{roscoe1991formal,
  title = "Formal Methods in the development of the H1 transputer",
  author = "Roscoe, AW and Goldsmith, MH and Cox, ADB and Scattergood, JB",
  year = "1991",
  booktitle = "Proceedings of the world transputer user group (WOTUG) conference on Transputing'91",
  organization = "IOS Press",
  pages = "629--642",
}