Ελεγχος σχεδιασμού καί υλοποίηση μιάς γλώσσας σχεδιασμού λογικού μέ βάση τήν PASCAL Παραρτήματα. Διπλωματική εργασία. - Χαραλαμπίδης, Βασίλειος (Τμημα Η/Υ. Πτυχιακές Εργασίες., 1990)