Visual representation of formal software specification. Bogdan, Crenguţa — 2002 Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică