"Doug Henning"@cs .