Title: Algorithm derivation by transformations
First published: 1979