Burstall R. M. and J. A. Goguen "Putting theories together to make specifications" In Proc. 5th Intl. Joint Conf. on Artificial Intelligence, pages 1045-1058, 1977

Languages mentioned

• CLEAR {1976}