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