Jacob Katzenelson Clusters and Dialogues for Set Implementations. 256-275 1979 5 IEEE Trans. Software Eng. 3 db/journals/tse/tse5.html#Katzenelson79