@inproceedings{MP84,
  year      = {1984},
  author    = {Lambert Meertens and Steven Pemberton},
  title     = {An Implementation of the ${B}$ Programming Language},
  booktitle = {Proc. USENIX UniForum},
  pages     = {65--74},
  publisher = {USENIX},
  pubcat    = {conference},
}