B.: Hol-z 2.0: A proof environment for zspecifications (0)

by A D Brucker, F Rittinger, Wolff
Venue:Journal of Universal Computer Science