A Formal Semantics for Sisal Arrays (1995)

by I Attali, D Caromel, Y-S Chen, R Guilder, A L Weldelborn
Venue:Proceedings of Joint Conference on Information Information Sciences (JCIS]95), North