"Herbert R. Lottman"@cs .