Transformational hierarchical reasoning (1996)

by J Grundy
Venue:The Computer Journal