-
Abbott, R., 188, 210
-
Abdelshafi, I., 73, 86
-
Abrial, J. R., 35, 57, 286, 290, 343, 356
-
Abts, C., 445, 446, 448, 580, 594, 670, 674, 677, 680, 685
-
Addy, E., 462, 475
-
Aiello, B., 717, 740, 741
-
Alexander, C., 195, 210
-
Alford, M., 538, 565
-
Ali Babar, M., 155, 180
-
Allen, R., 445, 446, 449
-
Ambler, S. W., 75, 81, 84, 85, 126, 148, 151
-
Ambrosio, A. M., 327, 358
-
Amelot, A., 286, 290
-
Anderson, E. A., 286, 291
-
Anderson, R. J., 481
-
Anderson, R., 362, 388, 391, 392
-
Andrea, J., 230, 240
-
Andres, C., 84, 666, 685
-
Appleton, B., 161, 180, 740
-
Arbon, J., 238
-
Arisholm, E., 70, 85
-
Armour, P., 682
-
Arnold, S., 538, 565
-
Ash, D., 261, 268
-
Atlee, J. M., 121
-
Avizienis, A. A., 272, 289, 290, 309, 324