9/12/2004 P. Van Roy, BCS talk 1 Concepts, Techniques, and Models of Computer Programming Dec. 9, 2004 Peter Van Roy Université catholique de Louvain Louvain-la-Neuve,
advprog-dec04