A foundation for theories of arrays. Queen's (1993)

by C R Banger, D B Skillicorn