1
Published in 1979
2
Published in 1982
technical report
3
Published in 1977
4
Published in 1978
technical report