Combining algebraic and predicative specifications in Larch (0)

by J J HORNING
Venue:In Proceedings of the International Joint Conference on Theory and Practice of Software Development, TAPSOFT