Title: Storage and verification of conceptual specifications in ametaCASEenvironment
First published: 1994