ZTC: A Type Checker for Z—User’s Guide (1995)

by X Jia