Title: A denotational semantics for concurrent Ada programs
First published: 1983