Miroslaw Malek Antoine N. Mourad Mihir Pandya Topological Testing. 103-110 1989 conf/itc/1989 ITC db/conf/itc/itc1989.html#MalekMP89