"Italian Formula Three"@cs .