Varone, Patrick (1996). Implementation of `Generic Synchronization Policies' in Pict (Submitted) (Technical Report). Universität Bern
