A translator from Small Euclid to Pascal. - Panayiotis E. Pintelas; K. P. Ventouris; M. D. Papassimakopoulou (ACM SIGPLAN Notices, 1989)

A practical assessment of formal specification approaches for data abstractions. - K. P. Ventouris; Panayiotis E. Pintelas (J. Syst. Softw., 1992)