"SPA"@cs .