From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.182.248.227 with SMTP id yp3mr31337252obc.22.1428495936312;
 Wed, 08 Apr 2015 05:25:36 -0700 (PDT)
X-Received: by 10.140.41.164 with SMTP id z33mr336686qgz.21.1428495936150;
 Wed, 08 Apr 2015 05:25:36 -0700 (PDT)
Path: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!l13no2493385iga.0!news-out.google.com!k20ni43qgd.0!nntp.google.com!j5no314754qga.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 8 Apr 2015 05:25:35 -0700 (PDT)
In-Reply-To: <c7db12c1-10fa-40ee-a2df-ff8a8b2177bc@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=105.210.1.218;
 posting-account=orbgeAkAAADzWCTlruxuX_Ts4lIq8C5J
NNTP-Posting-Host: 105.210.1.218
References: <44b2e375-8993-4a7e-b81a-6a7b512d2e3e@googlegroups.com>
 <1miph3v72f4y2$.1u76w2ujg74zf$.dlg@40tude.net>
 <c7db12c1-10fa-40ee-a2df-ff8a8b2177bc@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <22562651-ba2f-46e9-82e4-52a992eda7dd@googlegroups.com>
Subject: Re: BDD package in Ada.
From: jan.de.kruyf@gmail.com
Injection-Date: Wed, 08 Apr 2015 12:25:36 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: number.nntp.giganews.com comp.lang.ada:192772
Date: 2015-04-08T05:25:35-07:00
List-Id: <comp.lang.ada>

Hallo,
Here is a link to Knuth's musings on the subject:

http://www.cs.utsa.edu/~wagner/knuth/fasc1b.pdf

There is some youtube thing around as well.

Cheers,
j.