Donald A. Jardine Semantic Agreement and the Communication of Knowledge. 71-81 1985 DS-1 db/conf/ds/ds85.html#Jardine85