A logical basis for nested array data structures (1989)

by M A Jenkins, J I Glasgow
Venue:P.N. Johnson-Laird. Human and Machine Thinking