Artifact Details Title System design from provably correct constructs Catalog Number 102742890 Type Document Date 1985 Author Martin, James Publisher Prentice-Hall, Inc. Extent 392 p. Category Book Collection Title Gift of David Gross Credit Gift of David Gross Lot Number X4337.2008