Retrieval of software module functions using first-order predicate logical formulae - Yoshida, H.; Kato, H.; Sugimoto, M. (1985)