Bagatelle in C arranged for VDM SoLo

José Nuno Oliveira. Bagatelle in C arranged for VDM SoLo . J. UCS, 7(8):754-781, 2001. [doi]

@article{Oliveira01:0,
  title = { Bagatelle in C arranged for VDM SoLo },
  author = {José Nuno Oliveira},
  year = {2001},
  url = {http://www.jucs.org/jucs_7_8/bagatelle_in_c_arranged},
  tags = {C++},
  researchr = {https://researchr.org/publication/Oliveira01%3A0},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {7},
  number = {8},
  pages = {754-781},
}