From mboxrd@z Thu Jan  1 00:00:00 1970
From: doug@cs.dartmouth.edu (Doug McIlroy)
Date: Fri, 15 Jul 2016 12:47:52 -0400
Subject: [TUHS] Shell control through external commands
Message-ID: <201607151647.u6FGlqvW037575@tahoe.cs.Dartmouth.EDU>

Gerard Holzmann took the true and false commands as
the jumping-off point for "Code Inflation", an
installment of his "Reliable Code" blog and column
in IEE Software. An informative, but depressing, read:
http://spinroot.com/gerard/pdf/Code_Inflation.pdf

Doug