نویسنده : E.W. Dijkstra; S.L. Gerhart; D. Gries; M. Griffiths; J. V. Guttag; J. J. Horning; S. S. Owicki; C. Pair; H. Partsch; P. Pepper; M. Wirsing; H. W�ssner; F.L. Bauer
نویسنده : F.L. Bauer; R. Berghammer; M. Broy; W. Dosch; F. Geiselbrechtinger; R. Gnatz; E. Hangel; W. Hesse; B. Krieg-Br�ckner; A. Laut; T. Matzner; B. M�ller; F. Nickl; H. Partsch; P. Pepper; K. Samelson; M. W
نویسنده : F. L. Brauer; R. Berghammer; W. Dosch; R. Gnatz; E. Hangel; B. M�ller; H. Partsch; P. Pepper; K. Samelson; H. W�ssner; M. Broy; F. Nickl; M. Wirsing; F. Geiselbrechtinger; W. Hesse; B.