Bandera Roja (Paris: Pour une gauche leniniste, 1970)
"Bibliotheek François Vercammen"