%PDF-1.4
%
1 0 obj
<>stream
application/pdfIEEEIEEE Annals of the History of Computing;2003;25;2;10.1109/MAHC.2003.1203056Assertions: a personal perspectiveC.A.R. Hoare
IEEE Annals of the History of Computing14 April-June 200322510.1109/MAHC.2003.120305625
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
H|Wێ6~y^zcEGKL&hi`t/82m#Hky~$I$?}&l?2w1+unw]$_Uaӣbe'N)[I阢dezWǻ77,a**3Nk8 Q(Rx[$T=S;{SJe5;FL :Ra?RE[Fk< 㠎"bʼnߏ|/4
-2-FPǿ]dǕyegE0P.E.A\8?R FҪ)uQ90=Tʛ_D'zQ2IfY!dۈP#kԀ؍КvWݚb_ bnGvFjze;C0[~~xU}5Nlŷ^,[n+ɲ)VRX⫡a|s8SFZnD%,jL GjT,o;
)2(/ԭK{xTeի1[9JmvZݚd:@qUdcѦ*"mRQYIT{7 M8د-Lo'=7ϣfm.`U2xl%BODs|;tarHŌCb%uQcF6-X<,˫!.d@;ݧBFyOwb۫1dMQ/P\!OM]xcxyVp!v]GEU&/=1 LJ0N5y!#ChuYO
g
t@ eC( m:9
B#}RFժ9x2KM]I]e<ўV)XS}&ٹ.ٕD<
XL(ӪWI\G
I@˖A(HKJ6z
:
wi#ɼ|Y5XgH
6akMf3Ojv0M35}^nAK/!ydouX
u_QҁZ&xmM>P
?RIF4v*O ѮV1=zr3ƥ<;cp);&eav|I_8rZdH|JZŝ!7ĩC1/m0=
Z9I}dol6!oEעFq믝N sP[J.V"-iE*h
Z?ib
!@%Lѕ:Bwya8ѷj āX0£L 6 Ը?0B9qpk^16Nkr~l9\talrCrKv?aU\ңk_{8`+mn02mG-d=W?x鼥ޙ9BOA9vJ%0֑:/8FnCح{V4/C8X'x.%ѵk,knÔ=U]}ƅ'=HX`p}s[<'ZW7*i
I6W&
ęH,M'uɶt:8')t7,&túEv
[f0>!b
p3j66^^8ෆQ[P;!>b]#j*y:fG ~48ag{y"O&g22Eԁ /8X֪}ouP<̙=!,*Έ4ٹxFai\8ąm˹5sg:{ @DZlȰ`UZ詬k'H˞n݊qULђDa>]p@C6C/b#AN˖`_'Yڥar!