Z specifications meet Mathematica for exploratory prototyping | IEEE Conference Publication | IEEE Xplore