Specification and Implementation of the MONDAN System. - Giuseppe Scollo; Antonio Anzalone; Paolo Finocchiaro; Francesco Giustolisi; Giovanni Raciti (PSTV, 1984)