Some notes on putting formal specifications to productive use
scientific article; zbMATH DE number 3772917