An approach to literate and structured formal developments
scientific article; zbMATH DE number 868010
scientific article