CITATION STYLE
Wirsing, M. (1993). Structured Specifications: Syntax, Semantics and Proof Calculus. In Logic and Algebra of Specification (pp. 411–442). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-58041-3_11
Mendeley helps you to discover research relevant for your work.