Unifying ADT-- and Evolving Algebra Specifications (1996)

Cached

Download Links

by Horst Reichel Institut , Horst Reichel
Venue:EATCS Bulletin