Executable Assertion Definition Literature