[jgalt212]

> that the challenge in programming is in formulating your thoughts in a precise fashion

Were you thinking of Notation as a Tool of Thought?

http://www.jsoftware.com/papers/tot.htm