From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:6214:19e5:b0:476:e58a:da88 with SMTP id q5-20020a05621419e500b00476e58ada88mr25062241qvc.81.1660154306964;
        Wed, 10 Aug 2022 10:58:26 -0700 (PDT)
X-Received: by 2002:a25:d690:0:b0:67a:3d8d:8027 with SMTP id
 n138-20020a25d690000000b0067a3d8d8027mr24048258ybg.368.1660154306686; Wed, 10
 Aug 2022 10:58:26 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 10 Aug 2022 10:58:26 -0700 (PDT)
In-Reply-To: <87czd8zkjo.fsf@nightsong.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2601:3c3:403:7d30:8f4f:197f:be85:e3dd;
 posting-account=JSxOkAoAAADa00TJoz2WZ_46XrZCdXeS
NNTP-Posting-Host: 2601:3c3:403:7d30:8f4f:197f:be85:e3dd
References: <f91d8f78-d92f-4200-a1bd-dce840bf0400n@googlegroups.com>
 <tbj438$1eab$1@gioia.aioe.org> <f88660da-350c-40df-ac70-a644e6f30661n@googlegroups.com>
 <tbqs0t$104n$1@gioia.aioe.org> <tbrsd7$2iq3d$1@dont-email.me>
 <tbs5l5$1vki$1@gioia.aioe.org> <tbv792$un8$1@gioia.aioe.org>
 <tclt75$plh$1@gioia.aioe.org> <tcnver$gc9u$1@dont-email.me>
 <tcrvpk$n7f$1@gioia.aioe.org> <tcs2mr$1o0u$1@gioia.aioe.org>
 <tcsmrt$1951l$1@dont-email.me> <3d316e96-406a-4e2b-86ae-5b4b675813c4n@googlegroups.com>
 <87czd8zkjo.fsf@nightsong.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <09cd497d-3277-4f3b-96b4-b700a1710ac1n@googlegroups.com>
Subject: Re: Carbon
From: John Perry <devotus@yahoo.com>
Injection-Date: Wed, 10 Aug 2022 17:58:26 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1939
Xref: reader01.eternal-september.org comp.lang.ada:64193
List-Id: <comp.lang.ada>

On Wednesday, August 10, 2022 at 1:20:45 AM UTC-5, Paul Rubin wrote:
> Analysable Real-Time Systems: Programmed in Ada by Prof. Alan Burns is 
> from 2016 and looks pretty good. It is the book I mentioned that I got 
> on the recommendation of someone here. I've flipped through it but 
> still haven't read it.

I hadn't seen that one; thanks!