Ekaterina Komendantskaya

Mathematics of Program Construction

Practical Aspects of Declarative Languages