Enclosed the addressee finds titles and abstracts of technical reports and reprints from the Technical University Berlin for 1987. It's suggested to order copies of these papers. Registration form for the participation in Sixth Workshop on Specification of Abstract Data Types is also attached.