Cláudio Naoto Fuzitaki Paulo Blauth Menezes Júlio Henrique Araújo Pereira Machado Fernando D'Andrea Nautilus, a Concurrent Diagrammatic Specification and Programming Language. 51-81 2006 36 The Journal of Supercomputing 1 http://dx.doi.org/10.1007/s11227-006-3068-3 db/journals/tjs/tjs36.html#FuzitakiMMD06