Title: Application of the use-definition chaining to attribute flow analysis
First published: 1980