Logic in computer science. LICS 2001. Proceedings - IEEE Symposium on logic in computer science (16 2001 Boston) (Los Almitos IEEE Computer society, 2001)