"Boogie 2000"@cs .