Validity test for Floyd's operator-precedence parsing algorithms is polynomial in time Peter Růžička (1981) Kybernetika
Visual representation of formal software specification. Bogdan, Crenguţa (2002) Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică