S-categories, S-groupoids, Segal categories and quasicategories - Timothy Porter (2004)