Index of /web.archive.org/web/20080502215508/http:

	Name	Last modified	Size	Description
	Parent Directory		-
	uminho.acm.org/	2019-03-25 11:12	-
	www.di.uminho.pt/	2019-03-25 11:11	-