Software process a` la algebra: OBJ for OBJ

A 15 Year Perspective on Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering

Initiality, induction, and computability

Algebraic methods in semantics

Software processes are software too

ICSE '87 Proceedings of the 9th international conference on Software Engineering

Process models, process programs, programming support

ICSE '87 Proceedings of the 9th international conference on Software Engineering

Parameterized programming in OBJ2

ICSE '87 Proceedings of the 9th international conference on Software Engineering

Toward formal development of programs from algebraic specifications: implementations revisited

Acta Informatica

Software process modeling: a behavioral approach

ICSE '88 Proceedings of the 10th international conference on Software engineering

An overview of OBJ2

Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers

Stepwise refinement process with modularity

ICSE '89 Proceedings of the 11th international conference on Software engineering

Software process modeling: principles of entity process models

ICSE '89 Proceedings of the 11th international conference on Software engineering

A hierarchical and functional software process description and its enaction

ICSE '89 Proceedings of the 11th international conference on Software engineering

Modeling the software process: three problems overcome with behavioral models of the software development process (panel session)

ICSE '89 Proceedings of the 11th international conference on Software engineering

Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Operational Semantics of OBJ-3 (Extended Abstract)

ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming

Operational Semantics for Order-Sorted Algebra

Proceedings of the 12th Colloquium on Automata, Languages and Programming

The Semantics of CLEAR, A Specification Language

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School

From specifications to machine code: Program construction through formal reasoning

ICSE '82 Proceedings of the 6th international conference on Software engineering

Associative-commutative rewriting

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2