"Lyle Workman"@cs .