Elementos Lógicos da Programação I -  <A HREF="http://www.di.uminho.pt/~jbb/elp1/">1999/2000</A>