The Use of formal specification of software, June 25-27, 1979, Berlin

edited by H. K. Berg and W. K. Giloi
Bok Språk ikke angitt 1980