Alma-0: An Imperative Language that Supports Declarative Programming \Delta 53 (1988)

by K Seo, T Yokota
Venue:In VLSI '87