Information Storage and Retrieval, Robert R. Korfhage

Information Retrieval and Machine Translation Part I, Allen Kent

Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII &#

Collaborative And Social Information Retrieval And Access, Chevalier

Protocol Specification, Testing and Verification, XII, Richard Linn et M. Umit U

Information Storage and Retrieval Systems for Individual Researchers, Gerald Jah

Protocol Specification, Testing, and Verification, V, Michel Diaz

Information Retrieval, Meetham Roger