Title: Description problems in the modeling of asynchronous computer systems
First published: 1972