Предлагается ознакомиться и заказать копии технических отчетов и печатных изданий Технического университета Берлина, выпущенных в 1987г. В приложении находятся их названия и аннотации, а также регистрационная форма для участия в Шестом семинаре по спецификации абстрактных типов данных(29.8 - 2.9.1988).