IEEE Computer 1999 Beck.pdf