The specification language of Obscure

[1]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[2]  Herbert Klaeren,et al.  A Contructive Method for Abstract Algebraic Software Specification , 1984, Theor. Comput. Sci..

[3]  Reiji Nakajima,et al.  The IOTA Programming System , 1983, Lecture Notes in Computer Science.

[4]  Martin Wirsing,et al.  Structured Algebraic Specifications: A Kernel Language , 1986, Theor. Comput. Sci..

[5]  R. M. BURSTALL.  Inductively Defined Functions in Functional Programming Languages , 1987, J. Comput. Syst. Sci..

[6]  Christine Choppy,et al.  The ASSPEGIQUE Specification Environment - Motivations and Design , 1984, ADT.

[7]  Hans-Dieter Ehrich.  On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.

[8]  Michel Bidoit,et al.  How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language , 1989, Sci. Comput. Program..

[9]  David A. Fisher,et al.  A survey of control structures in programming languages , 1972, SIGP.

[10]  Robin Milner,et al.  Logic for Computable Functions: description of a machine implementation. , 1972 .

[11]  Jacques Loeckx,et al.  Algorithmic specifications: a constructive specification method for abstract data types , 1987, TOPL.

[12]  Barbara Liskov,et al.  Abstraction and Specification in Program Development , 1986 .

[13]  Ellis Horowitz,et al.  Abstract data types and software validation , 1978, CACM.

[14]  Jacques Loeckx,et al.  OBSCURE : a specification environment for abstract data types , 1987 .

[15]  Heinrich Hußmann.  The Passau RAP System: Rapid Prototyping for Algebraic Specifications , 1987, CTRS.

[16]  Joseph A. Goguen,et al.  The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.

[17]  Mary Shaw.  Alphard: Form and Content , 1981, Springer New York.

[18]  Hartmut Ehrig,et al.  Algebraic Specification of Modules and Their Basic Interconnections , 1987, J. Comput. Syst. Sci..