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