Dr. Leslie Lamport

"Thinking for Programmers"

(Gemeinsames Kolloquium der TU-Kaiserslautern und der Universität des Saarlandes)

There is a very effective software development tool that is not used nearly enough--the brain. The many impediments to its proper use devised by computer scientists can be overcome.