Title: Data structure choice / formal differentiation
First published: 1979