Od matematyki do programowania uogólnionego
Alexander A. Stepanov, Daniel E. Rose