Protext I - Vol.2: Lecture Notes of a Workshop Miller, J. J. H. Abstract Publication: Lecture Notes of a Workshop held in association with Protext I Pub Date: 1984 Bibcode: 1984prot.confR....M