Recent trends in data type specification - Sannella D Ed.; Workshop on recent trends in data type specification (1987 : Gullance Scotland); Tarlecki A Ed. (Berlin Springer-Ver;ag, 1988)
Keywords: Mathematical computer science