Teaching formal specifications What about abstraction ?