Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs

System support for modular order-sorted horn clause specifications

ICSE '90 Proceedings of the 12th international conference on Software engineering

A conceptual model for megaprogramming

ACM SIGSOFT Software Engineering Notes

Parametrized programming in LILEANNA

SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

Pattern Matching in Trees

Journal of the ACM (JACM)

Functional programming and logical programming for the telegram analysis problem

ICSE '84 Proceedings of the 7th international conference on Software engineering

An abstract software specification technique based on structural recursion

ACM SIGPLAN Notices

Rule-based programming and proving: the ELAN experience outcomes

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday

My ADT shrine

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques