Are there other multi-implementation languages that have an executable language spec like this?