Francisco Martins's home page has moved to
http://www.di.fc.ul.pt/~fmartins/