Title: The construction of formal specifications
Subjects: Software engineering, Softwarespezifikation, Formale Spezifikationstechnik, Formele talen, Agriculture, Statistical methods