It's getting hard to keep track of all the different names we have now for simple idea of having abstract specifications and concrete implementations, which is just about the most ubiquitous thing in CS.