Problem solving techniques for the design of algorithms

This publication has 4 references indexed in Scilit:

• Transformational Implementation: An Example
  IEEE Transactions on Software Engineering, 1981
• Verbal reports as data.
  Psychological Review, 1980
• Automatic data structure selection
  Communications of the ACM, 1978
• A synthesis of several sorting algorithms
  Acta Informatica, 1978