Title: A method for describing concurrent problems based on logic
First published: 1980