Formal specification of a specification library (1982)

by S K ATREYA