Autonomous units and their semantics - the parallel case. (2007)

by H J Kreowski, S Kuske
Venue:Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. Volume 4408 of Lecture Notes in Computer Science.,