C. Barry Jay A Semantics for Shape. 251-283 1995 25 Sci. Comput. Program. 2-3 db/journals/scp/scp25.html#Jay95