Quote notation
The notation was invented by Eric Hehner of the University of Toronto and Nigel Horspool , then at McGill University , and published in the SIAM "Journal on Computing" , v . 8 , n . 2 , May 1979 , pp . 
<triplet> Eric Hehner <subj> University of Toronto <obj> educated at <triplet> Journal on Computing <subj> SIAM <obj> publisher