Preparado y presentado durante el Advance Course on Distributed Systems, Methods and Tools for Specification, realizado en Abril 3-12, 1984, organizado por el Institut für Informatik, Technische Universität München.
Click on an image to view it in the image viewer