Title: Storage and verification of method metamodelpresentationalspecifications in a metaCASEenvironment
First published: 1994