Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985 - Floyd, Christiane; Εhrig, Hartmut (Springer-Verlag, 1985)
Περιέχει βιβλιογραφικές αναφορές