BCOOL(ID:3535/bco001)

Richly typed extension to COOL, in turn part of COCOON Scholl and Laasch, ULM 1992
Related languages
COOL => BCOOL   Extension of