The C information abstraction system (1990)

by Yih-Farn Chen, Michael Nishimoto, Chitoor Ramamoorthy
Venue:IEEE Transactions on Software Engineering