U.S. Army Research Office
Monografia (1963) The proceedings of the Research Conference on Structure and Properties of Engineering Materials held March 12–13, 1962, at North Carolina State College, Raleigh, N. C.
Monografia (1993) Proceedings of the ARO/AFOSR/ONR Workshop Increasing the Practical Impact of Formal Methods for Computer–aided Software Development : software slicing, merging and integration : October 13–15, 1993 U.S. Naval Postgraduate School, Monterey California