computer science papers() {
an axiomatic basis for computer programming
organizing programs without classes
recursive functions of symbolic expressions and their computation by machine
out of the tar pit
time, clocks, and the ordering of events in a distributed system
}