Title: A general approach to the analysis and manipulation of software
First published: 1997