Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction Benjamin Weiß
Illustrations of structures made or repaired by the New York Stone Contracting Company, successors to the N.Y. & L.I. Coignet Stone Co New York Stone Contracting Co
Standard specifications for steel highway bridges United States. Department of Agriculture. National Agricultural Library.