Amir Pnueli;R. Zarhi
-;-
Functionality in ASSY system and language of functional programming
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis