Formal program development in extended ML for the working programmer

Подборка книг с обложками, описаниями и будущим выбором магазинов для покупки или чтения.