Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It...

A lawyer uses stringent legal principles to assess the credibility of Jesus' resurrection

Was the Tomb Empty? is a careful, critical attempt, by a highly qualified British lawyer and judge, to examine the evidence concerning the resurrection from the dead of Jesus of Nazareth.

After a review of the basic legal principles involved regarding the use of evidence (What standard of proof is acceptable? Are we dealing with history or myth? What are our preconceptions?), this succinct but powerful document considers the testimony of individuals involved...