Ολοκληρωμενη μετρηση ποιοτικων χαρακτηριστικων λογικου ανεξαρτητα απο την γλωσσα προγραμματισμου. [Διδακτορικην Διατριβη] - Τσαλίδης, Χρήστος
βιβλιογραφια: σ. 217 - 233