LIBRARY 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 1992 · ENGLISH · PDF View details →