LIL[2]

Library Interconnection Language

Goguen

A module interconnection language.