"Michael C. Thomas"@cs . "Michael C. Thomas"@cs .