<h1>Ingargiola, Giorgio</h1>
<h2>Book Chapter from <a href="https://data.caltech.edu">CaltechTHESIS advisor</a></h2>
<ul>
<li>Brown, Thomas Carl, Jr. (1975) <a href="https://resolver.caltech.edu/CaltechTHESIS:07182011-144905895">A Structured Design Method for Specialized Proof Procedures</a>; <a href="https://doi.org/10.7907/nrh8-ka82">10.7907/nrh8-ka82</a></li>
</ul>