"Michael Stone"@cs .