TY  - BOOK
AU  - Sannella,Donald
AU  - Tarlecki,Andrzej
ED  - Workshop on Specification of Abstract Data Types
TI  - Recent trends in data type specification: 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers 
T2  - Lecture Notes in Computer Science
SN  - 3540503250
PY  - 1988///
CY  - Berlin
PB  - Springer
KW  - Abstrakcyjne typy danych (informatyka)
KW  - konferencje
KW  - kaba
KW  - Teoria typów (logika matematyczna)
N1  - Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540503255
ER  -