A. Prasad Sistla
University of Illinois at Chicago, Chicago, Illinois
Measuring Z specifications
ACM SIGSOFT Software Engineering Notes