Larch family of languages and tools supporting a two-tiered definitional style of specification.
Larch directory
Larch overview at MIT