3. "What's the best way to specify computation?" covered by programming language and compiler books.