An approach to literate and structured formal developments

From MaRDI portal
Publication:1911317