From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: tuhs-bounces@minnie.tuhs.org
X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.0 required=5.0 tests=HEADER_FROM_DIFFERENT_DOMAINS,
	MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no
	version=3.4.1
Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53])
	by inbox.vuxu.org (OpenSMTPD) with ESMTP id 5c6af7f7
	for <ml@inbox.vuxu.org>;
	Mon, 6 Aug 2018 17:23:14 +0000 (UTC)
Received: by minnie.tuhs.org (Postfix, from userid 112)
	id 95318A19E9; Tue,  7 Aug 2018 03:23:13 +1000 (AEST)
Received: from minnie.tuhs.org (localhost [127.0.0.1])
	by minnie.tuhs.org (Postfix) with ESMTP id 26CD0A19D8;
	Tue,  7 Aug 2018 03:22:57 +1000 (AEST)
Received: by minnie.tuhs.org (Postfix, from userid 112)
 id 5D491A19CF; Tue,  7 Aug 2018 03:22:55 +1000 (AEST)
Received: from mercury.lcs.mit.edu (mercury.lcs.mit.edu [18.26.0.122])
 by minnie.tuhs.org (Postfix) with ESMTPS id 074A1A19CD
 for <tuhs@minnie.tuhs.org>; Tue,  7 Aug 2018 03:22:55 +1000 (AEST)
Received: by mercury.lcs.mit.edu (Postfix, from userid 11178)
 id 340F618C09A; Mon,  6 Aug 2018 13:22:54 -0400 (EDT)
To: tuhs@minnie.tuhs.org
Message-Id: <20180806172254.340F618C09A@mercury.lcs.mit.edu>
Date: Mon,  6 Aug 2018 13:22:54 -0400 (EDT)
From: jnc@mercury.lcs.mit.edu (Noel Chiappa)
Subject: Re: [TUHS] TUHS Digest, Vol 33, Issue 5
X-BeenThere: tuhs@minnie.tuhs.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: The Unix Heritage Society mailing list <tuhs.minnie.tuhs.org>
List-Unsubscribe: <https://minnie.tuhs.org/cgi-bin/mailman/options/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=unsubscribe>
List-Archive: <http://minnie.tuhs.org/pipermail/tuhs/>
List-Post: <mailto:tuhs@minnie.tuhs.org>
List-Help: <mailto:tuhs-request@minnie.tuhs.org?subject=help>
List-Subscribe: <https://minnie.tuhs.org/cgi-bin/mailman/listinfo/tuhs>,
 <mailto:tuhs-request@minnie.tuhs.org?subject=subscribe>
Cc: jnc@mercury.lcs.mit.edu
Errors-To: tuhs-bounces@minnie.tuhs.org
Sender: "TUHS" <tuhs-bounces@minnie.tuhs.org>

    > From: Bakul Shah

    > What counts as a "formal spec"?

If you aren't familiar with the work in the field (it's been going on long
enough, it was around when I was an undergrad), some of the earlier messages
in the thread, e.g.:

  https://minnie.tuhs.org//pipermail/tuhs/2018-August/014365.html

might provide some thing you could follow. (I'm not into that stuff, so I
point you in the right direction.)

      Noel