<h1>Van de Snepscheut, Jan L. A.</h1>
<h2>Monograph from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>Van de Snepscheut, Jan L. A. (1994) <a href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01">Mechanized Support for Stepwise Refinement</a>; <a href="https://doi.org/10.7907/Z9NV9G8H">10.7907/Z9NV9G8H</a></li>
<li>Seitz, Charles L. and Martin, Alain J., el al. (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37">Submicron Systems Architecture: Semiannual Technical Report</a>; <a href="https://doi.org/10.7907/Z9NS0RX7">10.7907/Z9NS0RX7</a></li>
<li>Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34">Semantics of Exceptions</a>; <a href="https://doi.org/10.7907/Z9KK98TT">10.7907/Z9KK98TT</a></li>
<li>Seitz, Charles L. and Martin, Alain J., el al. (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10">Submicron Systems Architecture</a>; <a href="https://doi.org/10.7907/4fh9g-yr824">10.7907/4fh9g-yr824</a></li>
<li>Van de Snepscheut, Jan L. A. (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33">Proxac: An Editor for Program Transformation</a>; <a href="https://doi.org/10.7907/Z9V40S70">10.7907/Z9V40S70</a></li>
<li>Van de Snepscheut, Jan L. A. (1993) <a href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19">On Lattice Theory and Program Semantics</a>; <a href="https://doi.org/10.7907/Z95H7D9K">10.7907/Z95H7D9K</a></li>
<li>Seitz, Charles L. and Martin, Alain J., el al. (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17">Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992</a>; <a href="https://doi.org/10.7907/Z9WS8RF5">10.7907/Z9WS8RF5</a></li>
<li>Van de Snepscheut, Jan L. A. (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04">A LISP Programming Exercise</a>; <a href="https://doi.org/10.7907/Z93F4MSW">10.7907/Z93F4MSW</a></li>
<li>Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02">A Tutorial Introduction to Mosaic Pascal</a>; <a href="https://doi.org/10.7907/7xby0-epj19">10.7907/7xby0-epj19</a></li>
<li>Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) <a href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25">Molecular Dynamics on the Mosaic</a>; <a href="https://doi.org/10.7907/Z9P8493R">10.7907/Z9P8493R</a></li>
<li>Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) <a href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13">Weakest Preconditions for Progress</a>; <a href="https://doi.org/10.7907/dnyzm-jnn72">10.7907/dnyzm-jnn72</a></li>
<li>Van de Snepscheut, Jan L. A. (1991) <a href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07">Inversion of a Recursive Tree Traversal</a>; <a href="https://doi.org/10.7907/5k9bn-2re97">10.7907/5k9bn-2re97</a></li>
<li>Van de Snepscheut, Jan L. A. (1991) <a href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06">The Sliding Window Protocol Revisited</a>; <a href="https://doi.org/10.7907/20k97-3bf71">10.7907/20k97-3bf71</a></li>
<li>Hofstee, Peter H. and Lukkien, Johan J., el al. (1991) <a href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05">A Distributed Implementation of a Task Pool</a>; <a href="https://doi.org/10.7907/kfk06-0gs07">10.7907/kfk06-0gs07</a></li>
<li>Van de Snepscheut, Jan L. A. (1991) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436">On the Correctness of Sliding Window Protocols</a>; <a href="https://doi.org/10.7907/y9k9s-g7951">10.7907/y9k9s-g7951</a></li>
<li>Hofstee, H. Peter and Martin, Alain J., el al. (1989) <a href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06">Distributed Sorting</a>; <a href="https://doi.org/10.7907/zaevr-tmm71">10.7907/zaevr-tmm71</a></li>
<li>Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) <a href="https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84">Networks of Machines for Distributed Recursive Computations</a>; <a href="https://doi.org/10.7907/abxcf-t3r94">10.7907/abxcf-t3r94</a></li>
</ul>