I've found a better title for my book: Executable Specifications. Listen to find out why it's better.