http://www.doc.ic.ac.uk/~jnm/book/book_applets/Diners.html aus J. Magee, J. Kramer: Concurrency--State Models and Java Programs