Title: Logicheskie voprosy teorii tipov dannykh
Subjects: Abstract data types (Computer science)