научный программизм

http://mustread.ru/isbn/013507245x.html

"Фишка такая. Программы следует писать, не используя рекурсии, циклов и их заменителей. Вообще. Вместо этого следует использовать хрень под названием "катаморфизм"."

http://vewacs.livejournal.com/

кстати, обнаружилась:

The theory and practice of concurrency, Prentice Hall, 1998 [pdf]

вряд ли я это одолею, но вдруг?

+страница автора
http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/pubs.html