(ref.doc)toplas21-3

ACM Transactions on Programming Languages and Systems
May 1999

p 502 Should Your Specification Language Be Typed?
by Leslie Lamport and Lawrence Paulson
  This issue, like many similar ones about programming languages, is a
  matter of taste or experience. This doesn't mean that the issue is
  unimportant, only that the usual TOPLAS standards of proof are not
  easy to satisfy. Therefore this paper is not meant to approximate
  "peer-reviewed scientific truth" [...]
  --Andrew Appel and Carl Gunter