doi dblp Dirac: An interactive retrieval language with computational interface J. F. Vallee 1970 Volume 6 Issue 5