"Terence T. Henricks"@cs . "Terrence Henricks"@cs .