Toward Software Synthesis for Distributed Applications.

Aleta Ricciardi Paul Grisham Toward Software Synthesis for Distributed Applications. 15-27 1998 conf/tark/1998 TARK db/conf/tark/tark1998.html#RicciardiG98