doi dblp Mysteries of the deep: Models of the universe of knowledge S. D. Neill 1980 Volume 31 Issue 5