"The Practice of Programming"@cs .