Book

Formal Description Techniques, IV

by K. R. Parker, G. A. Rose