@article{02156157, title = {Visual representation of formal software specification.}, journal = {Analele \c Stiin\c tifice ale Universit\u a\c tii ``Ovidius" Constan\c ta. Seria: Matematic\u a}, volume = {10}, year = {2002}, pages = {35-48}, zbl = {1064.68028}, language = {en}, url = {http://dml.mathdoc.fr/item/02156157} }
Bogdan, Crenguţa. Visual representation of formal software specification.. Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică, Tome 10 (2002) pp. 35-48. http://gdmltest.u-ga.fr/item/02156157/