"Michael Holt"@cs .