1
2
Published in 1983
technical report
3
Published in 1980
4
Published in 1982
technical report
5
6
Published in 1975
journal article
7
Published in 1981