%A Ruth Abraham
%T Evaluating Generalized Tabular Expressions in Software Documentation
%R Tech. Rep. CRL 346
%I McMaster University
%C Hamilton, Ontario, Canada
%D Feb 1997
%K abr97

%A Dennis Keith Peters
%T Generating a Test Oracle from Program Documentation
%R Tech. Rep. CRL 302
%I McMaster University
%C Hamilton, Ontario, Canada
%D Apr 1995

%A Constance L. Heitmeyer
%T Software Cost Reduction
%B Encyclopedia of Software Engineering
%E John J. Marciniak
%D Jan 2002
%K hei02

%A Constance L. Heitmeyer
%A Myla Archer
%A Ramesh Bharadwaj
%A Ralph Jeffords
%T Tools for constructing requirements specifications: The SCR toolset at the age of ten
%J International Journal of Computer Systems Science & Engineering
%V 20
%N 1
%P 19-35
%D Jan 2005

%A Constance L. Heitmeyer
%A Ralph D. Jeffords
%A Bruce G. Labaw
%T Automated Consistence Checking of Requirements Specifications
%J ACM Transactions on Software Engineering and Methodology
%V 5
%N 3
%P 231-261
%D Jul 1996

%A A. J. Wilder
%T Recursive Tables and Effective Definition Schemes
%R Tech. Rep. CSR 11-99
%I University of Wales Swansea
%C Swansea, UK
%D 1999

%A Kathryn Heninger
%T Specifying Software Requirements for Complex Systems: New Techniques and Their Application
%J IEEE Transactions on Software Engineering
%V 6
%P 2-13
%D 1980
%K hen80

%A Kathryn Heninger
%A J. Kallander
%A David L. Parnas
%A John Shore
%T Software Requirements for the A-7E Aircraft
%R Memo Rep. 3876
%I Naval Res. Lab.
%C Washington, DC, USA
%D 27 Nov 1978

%A Ryszard Janicki
%T Towards a formal semantics of Parnas tables
%B Proceedings of the 17th International Conference on Software Engineering
%P 231-240
%D 1995

%A Ryszard Janicki
%T On a Formal Semantics of Tabular Expressions
%R Tech. Rep. CRL 355
%I McMaster University
%C Hamilton, Ontario, Canada
%D 1997
%K jan97

%A Adam Balaban
%A Darren Bane
%A Ying Jin
%A David Parnas
%T Mathematical Model of Tabular Expressions
%R Tech. Rep.
%I University of Limerick
%C Ireland
%D 2007
%K jbp04

%A David L. Parnas
%T Tabular Representation of Relations
%R Tech. Rep. CRL 260
%I McMaster University
%C Hamilton, Ontario, Canada
%D 1992
%K par92

%A Ryszard Janicki
%A David L. Parnas
%A J. Zucker
%T Tabular Representations in Relational Documents
%B Relational Methods in Computer Science
%E C. Brink
%E G. Schmidt
%I Springer Verlag
%D 1977
%P 184-196
%O Reprinted in \fISoftware Fundamentals: Collected Papers by David L. Parnas\fP, D. M. Hoffman, D. M. Weiss, eds., Addison-Wesley

%Q Software Engineering Research Group
%T Table Tool System Developer's Guide
%R Tech. Rep. CRL 339 & 340
%I McMaster University
%C Hamilton, Ontario, Canada
%D 1997
%K serg97

%A Tian Fu
%T Structured Decision Table <=> Generalised Decision Table Conversion Tool
%R Tech. Rep. CRL 380
%I McMaster University
%C Hamilton, Ontario, Canada
%D 1999
%K fu99

%A Markus Clermont
%T Implementing the TTS Kernel with Excel
%D 2005
%K cle05

%A Alan Wassyng
%A Mark Lawford
%T Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
%B FME2003: International Symposium of Formal Methods Europe Proceedings
%C Pisa, Italy
%D Sep 2003
%P 133-153

%A Herbert Sutter
%T Exceptional C++
%I Addison-Wesley
%D 2000
%K sut00

%A Erik Meijer
%A Maar<style>pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */</style><div class="highlight"><pre><span></span><span class="k">namespace</span><span class="w"> </span><span class="nn">namespaced</span><span class="w"> </span><span class="p">{</span>
<span class="k">enum</span><span class="w"> </span><span class="nc">Enum</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">A</span><span class="p">,</span><span class="w"> </span><span class="n">B</span><span class="p">,</span><span class="w"> </span><span class="n">C</span><span class="w"> </span><span class="p">};</span>
<span class="p">}</span>
</pre></div>
</code></pre></td></tr></table>
</div> <!-- class=content -->
<div class='footer'>generated by <a href='https://git.causal.agency/cgit-pink/about/'>cgit-pink 1.4.1-2-gfad0</a> (<a href='https://git-scm.com/'>git 2.36.2.497.gbbea4dcf42</a>) at 2025-06-30 22:55:00 +0000</div>
</div> <!-- id=cgit -->
</body>
</html>
ga
%T Function Applicability System: The Summary, (working paper)
%I University of Limerick
%C Ireland
%D 2004
%K tsh04

%A Ying Jin
%A Darren Bane
%T Application Programming Interfaces Specification of the Kernel, (working paper)
%I University of Limerick
%C Ireland
%D 2004
%K jb04

%A Eric W. Weisstein
%T Variable
%B MathWorld-A Wolfram Web Resource
%I Wolfram Research, Inc.
%D 12 Nov 2002
%K wei

%A Eric W. Weisstein
%T Rigorous
%B MathWorld-A Wolfram Web Resource
%I Wolfram Research, Inc.
%D 10 Oct 2000
%K rigorous

%A Brian J. Bauer
%T Documenting Complicated Programs
%R Tech. Rep. CRL 316
%I McMaster University
%C Hamilton, Ontario, Canada
%D 1995
%K bau95

%A David L. Parnas
%A Jan Madey
%T Functional Documents for Computer Systems Engineering
%J Science of Computer Programming
%I Elsevier
%V 25
%N 1
%D Oct 1995
%P 41-61
%K fundoc

%A Darren Bane
%T TTS Kernel Module Interface Specs
%I University of Limerick
%C Ireland
%D 2004
%K ban04

%A Darren Bane
%T TTS Kernel Expression Language, Version 1.0B
%I University of Limerick
%C Ireland
%D 2004
%K ban04

%A Brian W. Kernighan
%A Dennis M. Ritchie
%T The C Programming language, 2nd ed.
%I Prentice-Hall
%C NJ, USA
%D 1988
%K kr88

%A Andrew Hunt
%A David Thomas
%T The Pragmatic Programmer
%I Addison Wesley Longman
%C MA, USA
%D 2000
%K ht00

%A Bjarne Stroustrup
%T The C++ Programming Language, 3rd ed.
%I Addison Wesley
%C MA, USA
%D 1997
%K str97

%A Hugh Darwen
%A Christopher J. Date
%T Towards an Agreeable Model of Type Inheritance
%K dd

%A Kenneth Baclawski
%A Bipin Indurkhya
%T The Notion of Inheritance in Object-Oriented Programming
%J Communications of the ACM
%V 37
%N 9
%P 118-119
%D 1994
%K bi94

%A Andrei Alexandrescu
%A Petru Marginean
%T Simplify Your Exception-Safe Code
%J C/C++ Users Journal, C++ Experts Forum
%D Dec 2000
%K am00

%A John Elder
%T Compiler Construction: A Recursive Descent Model
%I Prentice Hall International
%C Hertfordshire, UK
%D 1994
%K eld94

%A Shimata Tshinanga
%T Function Applicability System: Our Proposition of Solution to All Your Concerns, (working paper)
%I University of Limerick
%C Ireland
%D 25 Nov 2004
%K tsh04

%A Darren Bane
%T TTS Kernel Standard Library, Version 1.0A
%I University of Limerick
%C Ireland
%D 2005
%K ban05

%Q ECMA
%T ECMAScript Language Specification, 3rd ed.
%I ECMA
%C Geneva, Switzerland
%D 1999
%K ecma99

%Q IEEE/The Open Group
%T Single UNIX Specification, Version 3
%I IEEE/The Open Group
%D 2004
%K ieee04
%O Also published as IEEE Standard 1003.1-2004 (POSIX)

%A David L. Parnas
%A Marius Dragomiroiu
%T Module Interface Documentation-Using the Trace Function Method (TFM)
%R Tech. Rep.
%I University of Limerick
%C Ireland
%D 2007
%K tfm

%A John K. Ousterhout
%T An Introduction to Tcl and Tk
%I Addison-Wesley
%D 1993
%K ous93

%Q SQRL
%T Conclusion on the Requirements of the Tools Team
%D 2004
%K sqrl04

%A David Abrahams
%A Nathan Myers
%T C++ Coding Guidelines
%D 2001
%K am01

%A Rob Pike
%T Notes on Programming in C
%D 21 Feb 1989

%A Andrei Alexandrescu
%A John Torjo
%T Enhancing Assertions
%J C/C++ Users Journal, C++ Experts Forum
%D Aug 2003
%K at03

%A Scott Meyers
%T More Effective C++
%I Addison-Wesley
%D 1996
%K mey96

%A Ben Shneiderman
%T Designing the User Interface, 3rd ed.
%I Addison-Wesley
%C USA
%D 1998
%K shn98

%A Richard Kelsey
%A William Clinger
%A Jonathan Rees, (eds)
%T Revised5 Report on the Algorithmic Language Scheme
%J Higher Order and Symbolic Computation
%V 11
%N 1
%P 7-105
%O Reprinted in \fIACM SIGPLAN Notices\fP, 33(9)
%D 1998
%K r5rs

%A Maurice Herlihy
%T Wait-Free Synchronization
%J ACM Transactions on Programming Languages and Systems
%V 11
%N 1
%P 124-149
%D 1991
%K her91

%A Donald E. Knuth
%T Fundamental Algorithms, 2nd ed.
%I Addison-Wesley
%C USA
%D 1978
%K knu78

%A Maged M. Michael
%T Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects
%J IEEE Transactions on Parallel and Distributed Systems
%V 15
%N 6
%P 491-504
%D 2004
%K mic04

%A Nir Shavit
%A Dan Touitou
%T Software Transactional Memory
%B Proceedings of the 14th ACM Symposium on the Principles of Distributed Computing
%C Ottowa, Ontario, Canada
%D 1995
%K st95

%Q Programming Research Group
%T High-Integrity C++ Coding Standard Manual, Version 2.2
%D 2004
%K prg04

%Q Object Management Group
%T C++ Language Mapping Specification, Version 1.1
%D 2003
%K omg03

%A Darren Bane
%T TTS Kernel Software Requirements, (working paper)
%I University of Limerick
%C Ireland
%D 2005
%K ban05

%A Darren Bane
%T TTS Kernel Module Guide, (working paper)
%I University of Limerick
%C Ireland
%D 2005
%K ban05

%A David L. Parnas
%T SQRL TTS UE Behaviour Policy, (working paper)
%I University of Limerick
%C Ireland
%D 24 Apr 2006
%K par06b

%A David L. Parnas
%T Role of the Kernel in TTS, (working paper)
%I University of Limerick
%C Ireland
%D 28 Sep 2005
%K par05

%A David L. Parnas
%A Wolfram Bartussek
%T Using Assertions About Traces to Write Abstract Specifications for Software Modules
%R Tech. Rep. TR77-012
%I University of North Carolina
%C Chapel Hill, NC, USA
%O Reprinted in \fISoftware Fundamentals: Collected Papers by David L. Parnas\fP, D. M. Hoffman, D. M. Weiss, eds., Addison-Wesley
%D 1977
%K tam

%A Joe Armstrong
%T Making reliable distributed systems in the presence of software errors
%I The Royal Institute of Technology
%C Stockholm, Sweden
%D Dec 2003
%K arm03

%A David L. Parnas
%T On the Criteria to Be Used in Decomposing Systems into Modules
%J Communications of the ACM
%V 15
%N 12
%P 1053-1058
%O Reprinted in \fISoftware Fundamentals: Collected Papers by David L. Parnas\fP, D. M. Hoffman, D. M. Weiss, eds., Addison-Wesley
%D Dec 1972
%K par72

%A Erich Gamma
%A Richard Helm
%A Ralph Johnson
%A John Vlissides
%T Design Patterns: Elements of Reusable Object-Oriented Software
%I Addison-Wesley
%D 1995
%K gof

%A Nicolas Dulac
%A Thomas Viguier
%A Nancy Leveson
%A Margaret-Anne Storey
%T On the Use of Visualization in Formal Requirements Specification
%B Proceedings of the Conference on Requirements Engineering
%C Essen, Germany
%D Sep 2002
%K vis

%A R. Davis
%T Runnable Specifications as Design Tool
%B Logic Programming
%E K. Clark
%E S. Tarnlund
%P 141-149
%I Academic Press
%D 1982

%A D. Sannella
%T Formal program development in Extended ML for the working programmer
%B Proceedings of the 3rd BCS/FACS Workshop on Refinement, 1990
%C Hursley Park, UK
%S Springer Workshops in Computing
%P 99-130
%D 1991

%A Gary T. Leavens
%T An Overview of Larch/C++: Behavioral Specifications for C++ Modules
%E Haim Kilov
%E William Harvey
%B Specification of Behavioral Semantics in Object-Oriented Information Modelling
%I Kluwer Academic Publishers
%P 121-142
%O Chapter 8
%D 1996

%A Patrice Chalin
%A Joe Kiniry
%A Gary T. Leavens
%A Erik Poll
%T Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
%B Proceedings of Formal Methods for Components and Objects (FMCO 2005)
%C Amsterdam, The Netherlands
%D 2006

%A John V. Guttag
%A James J. Horning
%A S. J. Garland
%A K. D. Jones
%A J. M. Wing
%T Larch: Languages and Tools for Formal Specification
%S Texts and Monographs in Computer Science series
%I Springer-Verlag
%C NY, USA
%D 1993

%A D. Crocker, (ed)
%A P. Overell
%T RFC 4234: Augmented BNF for Syntax Specifications: ABNF
%I The Internet Society
%D Oct 2005

%A Jules Deshernais
%A Ridha Khe\*'dri
%A Ali Mili
%T Towards a Uniform Relational Semantics for Tabular Expressions
%B RelMiCS
%P 53-57
%D 1998

%A Wolfram Kahl
%T Compositional Syntax and Semantics of Tables
%R Tech. Rep. SQRL 15
%I McMaster University
%C Hamilton, Ontario, Canada
%D 12 Oct 2003

%A Mark Lawford
%A P. Froebel
%A G. Moum
%T Application of Tabular Methods to the Specification and Verification of a Nuclear Reactor Shutdown System
%J to appear in Formal Methods in System Design
%D Jun 2004

%A Gerard J. Holzmann
%T The Model Checker SPIN
%J IEEE Transactions on Software Engineering
%V 23
%N 5
%D May 1997

%A David Robertson
%A Jaume Agust\('i
%T Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling
%I Addison Wesley Longman
%D 1999

%A Wayne Babich
%T Software Configuration Management: Coordination for Team Productivity
%I Addison-Wesley
%D 1986

%A Edsger W. Dijkstra
%T EWD623: The mathematics behind the Banker's Algorithm
%D 1977
%O Reprinted in \fISelected Writings on Computing: A Personal Perspective\fP, Springer-Verlag

%A Edsger W. Dijkstra
%T EWD123: Cooperating sequential processes
%D 1968
%O Published in \fIProgramming Languages: NATO Advanced Study Institute\fP, F. Genuys, ed., Academic Press

%A Colm Quinn
%A Sergiy A. Vilkomir
%A David L. Parnas
%A Srdjan Kostic
%T Specification of Software Component Requirements Using the Trace Function Method
%B Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006)
%D 2006

%A Robert L. Baber
%A David L. Parnas
%A Sergiy A. Vilkomir
%A Paul Harrison
%A Tony O'Connor
%T Disciplined Methods of Software Specification: a Case Study
%B Proceedings of the International Conference on Information Technology Coding and Computing (ITCC 2005)
%D 2005
%P 428-437

%A Dale Dougherty
%A Tim O'Reilly
%T UNIX text processing
%I Hayden Books
%D 1987

%A Colm Quinn
%T Quality Assessment in Real-time Software
%I University of Limerick
%C Ireland
%D 12 Jun 2007

%A Jacques Carette
%T Understanding Expression Simplification
%B Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2004)
%C Santander, Spain
%D 2004

%A Antoni Diller
%T Z: An Introduction to Formal Methods, 2nd ed.
%I Wiley
%D 1994

%A Chris George
%T Introduction to RAISE
%R Tech. Rep. 249
%I UNU-IIST
%C Macau, PRC
%D Apr 2002

%A Gottlob Frege
%T Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
%C Halle, Saxony-Anhalt, Germany
%I Louis Nebert
%O Translated by S. Bauer-Mengelberg
%D 1879

%A Darren Bane
%T Design and Documentation of the Kernel of a Set of Tools for Working With Tabular Mathematical Expressions
%I University of Limerick
%C Ireland
%D 19 Jul 2008
%K bane2008

%A Peter Dinges
%A Naoki YONEZAKI
%T Structured Operational Semantics for an Idealised Object-Capability Programming Language
%B Proceedings of the 25th Convention of the Japan Society for Software Science and Technology
%C Tokyo, Japan
%D 2008

%A Shin-Cheng Mu
%A Hsiang-Shang Ko
%A Patrik Jansson
%T Algebra of Programming using Dependent Types
%B Mathematics of Program Construction 2008
%V 5133
%S Lecture Notes in Computer Science (LNCS)
%I Springer-Verlag
%P 268-283
%D Jul 2008
%K muko2008

%A Adrian Mettler
%A David Wagner
%A Tyler Close
%T Joe-E: A Security-Oriented Subset of Java
%B Proceedings of the 17th Annual Network and Distributed System Security Symposium (ISOC NDSS 2010)
%C San Diego, California
%D Mar 2010

%A Chiyan Chen
%A Hongwei Xi
%T Combining Programming with Theorem Proving
%B Proceedings of the 10th International Conference on Functional Programming (ICFP'05)
%C Tallinn, Estonia
%D Sep 2005

%A Oleg Kiselyov
%A Chung-chieh Shan
%T Lightweight static capabilities
%J Electronic Notes in Theoretical Computer Science
%V 174
%N 7
%P 79-104
%D 2007

%A Jonathan S. Shapiro
%A Michael Scott Doerrie
%A Eric Northup
%A Swaroop Sridhar
%A Mark Miller
%T Towards a Verified, General-Purpose Operating System Kernel
%B NICTA Invitational Workshop on Operating System Verification
%I University of New South Wales
%C Sydney, Australia
%D Oct 2004

%A Jessica Gronski
%A Kenneth Knowles
%A Aaron Tomb
%A Stephen N. Freund
%A Cormac Flanagan
%T Sage: Hybrid checking for flexible specifications
%B In Scheme and Functional Programming Workshop
%D 2006
%P 93-104

%A Adam Chlipala
%T Certified Programming with Dependent Types
%D 3 Feb 2010
%O available: http://adam.chlipala.net/cpdt/html/toc.html [accessed 18 Aug 2010]

%A Kent Beck
%T Extreme Programming Explained
%D 1999

%A Kent Pitman
%T Accelerating Hindsight: Lisp as a Vehicle for Rapid Prototyping
%D 1994

%A Tom Preston-Werner
%T Readme Driven Development
%C San Francisco, CA, USA
%D 23 Aug 2010
%O available: https://tom.preston-werner.com/2010/08/23/readme-driven-development.html [accessed 27 May 2020]

%A Geoff Collyer
%A Russ Cox
%T How to Write a Plan 9 Manual Page
%O available: http://www.vitanuova.com/inferno/papers/manhow.pdf [accessed 27 May 2020]

%A Kristaps Dzonsons
%T Practical UNIX Manuals
%O available: https://manpages.bsd.lv/toc.html [accessed 9 Oct 2020]

%T Basic English
%B Wikipedia
%O available: https://en.wikipedia.org/wiki/Basic_English [accessed 28 May 2020]

%A Darren Bane
%T An ISLisp-like subset of ANSI Common Lisp
%C Ireland
%D 21 Aug 2020