Property extraction m well-founded property sets (1975)

by B WEGBREIT
Venue:IEEE Trans on Software Eng SE-1