Reliable Software (1975) Proceedings International Conference 21-23 April 1975, Los Angeles, California (IEEE Computer Society Press Association for Computing Machinery, 1975)
περιέχει βιβλιογραφία