Ralf Plato Thomas Held Hartmut König PARES - a portable parallel Estelle compiler. 403-418 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#PlatoHK95