T. Martin PEARL At the Age of Three. 100-110 1979 ICSE db/conf/icse/icse79.html#Martin79