PL, ADT: ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL, I [eins]Franz LichtenbergerÉpuisé4,3Prévenez-moi