Elliot Soloway
Kate Ehrlich
IEEE Transactions on Software Engineering
On the Interplay Between Bottom-Up and Datatype-Driven Program Design