Title: Program design calculi
First published: 1993
Subjects: Congresses, System design