Marta Franová PRECOMAS an Implementation of Constructive Matching Methodology. 16-23 1990 ISSAC http://doi.acm.org/10.1145/96877.96885 db/conf/issac/issac90.html#Franova90