AbrialSM80'

@incollection{DBLP:books/cu/mckeag80/AbrialSM80,
  author    = {Jean-Raymond Abrial and
               Stephen A. Schuman and
               Bertrand Meyer},
  title     = {Specification Language},
  booktitle = {On the Construction of Programs},
  year      = {1980},
  pages     = {343-410},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}