%PDF-1.6
%
1 0 obj
<>
endobj
39 0 obj
<>stream
application/pdf
Alaris Capture Pro Software
Alaris Capture Pro Software
FyTek's PDF Meld Commercial Version 10.4 as of June 28, 2015 14:24:07
2019-03-12T15:41:20Z
Alaris Capture Pro Software
2019-03-13T21:54:59Z
2019-03-13T21:54:59Z
Adobe Acrobat 9.55 Paper Capture Plug-in
uuid:2ac6cb36-cfa7-454f-9801-3d3c5a2e476c
uuid:5a1d9792-6096-47cf-babf-71b70d0f2319
endstream
endobj
3 0 obj
<>
endobj
38 0 obj
<>
endobj
2 0 obj
<>
endobj
37 0 obj
<>
endobj
36 0 obj
<>
endobj
35 0 obj
<>
endobj
15 0 obj
<>/ProcSet[/PDF/Text/ImageB]/XObject<>>>/Type/Page/UserUnit 1>>
endobj
24 0 obj
<>/ProcSet[/PDF/Text/ImageB]/XObject<>>>/Type/Page/UserUnit 1>>
endobj
25 0 obj
<>/ProcSet[/PDF/Text/ImageB]/XObject<>>>/Type/Page/UserUnit 1>>
endobj
30 0 obj
<>/ProcSet[/PDF/Text/ImageB]/XObject<>>>/Type/Page/UserUnit 1>>
endobj
57 0 obj
<>stream
q
827 0 0 580 0 0 cm
/Im0 Do
Q
BT
/T1_0 1 Tf
-0.035 Tc 3 Tr 5.5436 0.0968 -0.0977 5.5992 20.0984 560.7339 Tm
(to )Tj
/T1_1 1 Tf
7.3618 0.1285 -0.1448 8.2987 52.1064 516.4059 Tm
(DR )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 67.6741 516.6777 Tm
(I )Tj
-0.035 Tc 7.5168 0.1312 -0.1448 8.2987 77.4925 516.8491 Tm
(COTTAM )Tj
6.9128 0.1207 -0.1448 8.2987 51.9395 499.6004 Tm
(VDM )Tj
7.0031 0.1223 -0.1448 8.2987 72.8163 499.9649 Tm
(AND )Tj
7.7594 0.1355 -0.1448 8.2987 93.1532 500.3199 Tm
(THE )Tj
7.3348 0.1281 -0.1448 8.2987 113.1102 500.6684 Tm
(MULE )Tj
7.97 0.1391 -0.1448 8.2987 138.9162 501.1189 Tm
(SYSTEM )Tj
8.2016 0.1432 -0.1448 8.2987 52.4257 483.7665 Tm
(LECTURE )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 93.9294 484.4911 Tm
(1 )Tj
0.05 Tc 10.3046 0.1799 -0.1448 8.2987 52.2138 465.53 Tm
(This )Tj
11.3555 0.1983 -0.1448 8.2987 78.8397 465.9949 Tm
(lecture )Tj
11.7259 0.2047 -0.1448 8.2987 118.5136 466.6875 Tm
(will )Tj
11.0311 0.1926 -0.1448 8.2987 143.9897 467.1323 Tm
(present )Tj
10.3806 0.1812 -0.1448 8.2987 184.9735 467.8478 Tm
(the )Tj
11.547 0.2016 -0.1448 8.2987 204.8105 468.1941 Tm
(dialect )Tj
11.1275 0.1943 -0.1448 8.2987 244.4044 468.8854 Tm
(of )Tj
10.5627 0.1844 -0.1448 8.2987 260.082 469.1591 Tm
(the )Tj
9.4348 0.1647 -0.1448 8.2987 279.769 469.5028 Tm
(Vienna )Tj
9.7667 0.1705 -0.1448 8.2987 315.2136 470.1216 Tm
(development )Tj
9.1014 0.1589 -0.1448 8.2987 52.4061 457.3721 Tm
(Method )Tj
-0.035 Tc 7.0797 0.1236 -0.1448 8.2987 93.3998 458.0878 Tm
(\(VDM )Tj
0.05 Tc 9.8151 0.1714 -0.1448 8.2987 121.5555 458.5794 Tm
([1]\) )Tj
10.8764 0.1899 -0.1448 8.2987 148.4014 459.0481 Tm
(taught, )Tj
9.3985 0.1641 -0.1448 8.2987 191.5248 459.801 Tm
(and )Tj
11.2458 0.1963 -0.1448 8.2987 214.5713 460.2033 Tm
(in )Tj
10.6719 0.1863 -0.1448 8.2987 232.1786 460.5107 Tm
(use, )Tj
12.3311 0.2153 -0.1448 8.2987 260.1244 460.9986 Tm
(at )Tj
10.5627 0.1844 -0.1448 8.2987 278.4616 461.3188 Tm
(the )Tj
10.7558 0.1878 -0.1448 8.2987 301.758 461.7255 Tm
(University )Tj
11.4057 0.1991 -0.1448 8.2987 360.689 462.7544 Tm
(of )Tj
10.1329 0.1769 -0.1448 8.2987 52.3026 448.969 Tm
(Manchester. )Tj
7.5806 0.1324 -0.1256 7.1989 120.4922 450.1595 Tm
(An )Tj
10.4037 0.1816 -0.1448 8.2987 137.4296 450.4553 Tm
(experimental )Tj
10.4604 0.1826 -0.1448 8.2987 204.7493 451.6306 Tm
(prototype )Tj
9.7387 0.17 -0.1448 8.2987 256.9314 452.5416 Tm
(formal )Tj
9.4512 0.165 -0.1448 8.2987 292.7759 453.1674 Tm
(methods )Tj
10.5552 0.1843 -0.1448 8.2987 335.5994 453.915 Tm
(support )Tj
10.1084 0.1765 -0.1448 8.2987 53.3148 440.8255 Tm
(system, )Tj
8.3791 0.1463 -0.1448 8.2987 95.6683 441.5649 Tm
(known )Tj
10.4698 0.1828 -0.1448 8.2987 127.7334 442.1247 Tm
(as )Tj
9.9739 0.1741 -0.1448 8.2987 145.9706 442.4431 Tm
('Mule' )Tj
10.8177 0.1889 -0.1448 8.2987 183.015 443.0899 Tm
([2], )Tj
9.8718 0.1723 -0.1448 8.2987 208.1412 443.5285 Tm
(developed )Tj
11.6987 0.2042 -0.1448 8.2987 260.1832 444.4371 Tm
(at )Tj
9.7408 0.1701 -0.1448 8.2987 276.5807 444.7234 Tm
(Manchester )Tj
8.9952 0.157 -0.1448 8.2987 333.9819 445.7256 Tm
(by )Tj
9.5471 0.1667 -0.1448 8.2987 350.7494 446.0183 Tm
(Alan )Tj
10.9307 0.1908 -0.1448 8.2987 52.5974 432.6417 Tm
(Wills, )Tj
9.9154 0.1731 -0.1448 8.2987 88.7819 433.2734 Tm
(Tobias )Tj
8.8451 0.1544 -0.1448 8.2987 124.1865 433.8916 Tm
(Nipkow, )Tj
9.0851 0.1586 -0.1448 8.2987 164.8503 434.6015 Tm
(and )Tj
11.0631 0.1931 -0.1448 8.2987 184.7472 434.9489 Tm
(others, )Tj
11.4434 0.1998 -0.1448 8.2987 224.6712 435.6459 Tm
(will )Tj
10.9827 0.1917 -0.1448 8.2987 250.2572 436.0926 Tm
(also )Tj
9.2726 0.1619 -0.1448 8.2987 275.0935 436.5262 Tm
(be )Tj
10.7747 0.1881 -0.1448 8.2987 289.8612 436.784 Tm
(discussed. )Tj
-0.035 Tc 6.8064 0.1188 -0.1448 8.2987 52.9246 415.6048 Tm
(VDM )Tj
0.05 Tc 12.3436 0.2155 -0.1448 8.2987 78.5107 416.0515 Tm
(is )Tj
10.2624 0.1792 -0.1448 8.2987 97.3378 416.3802 Tm
(both )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 127.2433 416.9023 Tm
(a )Tj
0.05 Tc 10.9355 0.1909 -0.1448 8.2987 141.7111 417.1549 Tm
(notation )Tj
9.3985 0.1641 -0.1448 8.2987 191.7734 418.0289 Tm
(and )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 216.5096 418.4608 Tm
(a )Tj
0.05 Tc 9.4832 0.1656 -0.1448 8.2987 230.4875 418.7048 Tm
(method. )Tj
8.6511 0.151 -0.1448 8.2987 280.5899 419.5796 Tm
(The )Tj
11.4556 0.2 -0.1448 8.2987 305.696 420.0179 Tm
(specification )Tj
11.068 0.1932 -0.1448 8.2987 53.3067 407.4603 Tm
(notation )Tj
12.3436 0.2155 -0.1448 8.2987 102.4092 408.3176 Tm
(is )Tj
10.9834 0.1918 -0.1448 8.2987 121.5763 408.6522 Tm
('model-oriented'; )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 218.8114 410.3498 Tm
(a )Tj
0.05 Tc 11.6579 0.2035 -0.1448 8.2987 231.8295 410.5771 Tm
(relational )Tj
10.7744 0.1881 -0.1448 8.2987 289.8206 411.5895 Tm
(data )Tj
10.1479 0.1772 -0.1448 8.2987 318.0063 412.0816 Tm
(base )Tj
9.5805 0.1673 -0.1448 8.2987 347.8817 412.6032 Tm
(\(say\) )Tj
10.0676 0.1758 -0.1448 8.2987 52.9635 399.043 Tm
(might )Tj
9.5166 0.1662 -0.1448 8.2987 85.3885 399.6091 Tm
(be )Tj
11.1548 0.1947 -0.1448 8.2987 102.2559 399.9036 Tm
(specified )Tj
8.9952 0.157 -0.1448 8.2987 153.7781 400.8031 Tm
(by )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 170.4855 401.0948 Tm
(a )Tj
0.05 Tc 9.1795 0.1603 -0.1448 8.2987 181.1039 401.2802 Tm
(model )Tj
10.5711 0.1846 -0.1448 8.2987 212.6991 401.8318 Tm
(of )Tj
10.7448 0.1876 -0.1448 8.2987 229.0866 402.1179 Tm
(the )Tj
9.7594 0.1704 -0.1448 8.2987 250.8133 402.4972 Tm
(system )Tj
11.9758 0.2091 -0.1448 8.2987 287.4977 403.1377 Tm
(state )Tj
9.371 0.1636 -0.1448 8.2987 318.8529 403.6851 Tm
(which )Tj
10.3919 0.1814 -0.1448 8.2987 351.2579 404.2508 Tm
(uses )Tj
9.5271 0.1663 -0.1448 8.2987 53.1056 390.8942 Tm
(mappings )Tj
8.9751 0.1567 -0.1448 8.2987 100.0584 391.714 Tm
(from )Tj
11.6463 0.2033 -0.1448 8.2987 124.8547 392.1469 Tm
(relation )Tj
8.6428 0.1509 -0.1448 8.2987 170.4577 392.9431 Tm
(names )Tj
10.7666 0.188 -0.1448 8.2987 200.6731 393.4706 Tm
(to )Tj
11.5342 0.2014 -0.1448 8.2987 215.4208 393.7281 Tm
(sets )Tj
10.8492 0.1894 -0.1448 8.2987 240.1971 394.1606 Tm
(of )Tj
11.2062 0.1956 -0.1448 8.2987 255.6247 394.43 Tm
(tuples. )Tj
8.9443 0.1562 -0.1448 8.2987 300.4478 395.2125 Tm
(The )Tj
10.8181 0.1889 -0.1448 8.2987 320.8248 395.5683 Tm
(operations )Tj
11.1275 0.1943 -0.1448 8.2987 53.6422 382.4923 Tm
(of )Tj
10.9269 0.1908 -0.1448 8.2987 72.9193 382.8289 Tm
(the )Tj
10.6415 0.1858 -0.1448 8.2987 97.0856 383.2508 Tm
(data )Tj
10.1479 0.1772 -0.1448 8.2987 125.9912 383.7555 Tm
(base )Tj
9.7594 0.1704 -0.1448 8.2987 155.3567 384.2681 Tm
(system )Tj
9.0837 0.1586 -0.1448 8.2987 193.6409 384.9365 Tm
(would )Tj
9.2726 0.1619 -0.1448 8.2987 227.7357 385.5318 Tm
(be )Tj
11.0342 0.1926 -0.1448 8.2987 247.2427 385.8724 Tm
(specified )Tj
10.4491 0.1824 -0.1448 8.2987 301.3944 386.8178 Tm
(using )Tj
10.4801 0.183 -0.1448 8.2987 335.9691 387.4214 Tm
(pre-and )Tj
10.995 0.192 -0.1448 8.2987 53.6702 374.5816 Tm
(post-conditions )Tj
10.8492 0.1894 -0.1448 8.2987 135.8577 376.0165 Tm
(of )Tj
11.2547 0.1965 -0.1448 8.2987 153.5849 376.326 Tm
('before-and-after' )Tj
11.7362 0.2049 -0.1448 8.2987 248.5704 377.9843 Tm
(state )Tj
11.7369 0.2049 -0.1448 8.2987 278.9958 378.5155 Tm
(pairs. )Tj
8.6511 0.151 -0.1448 8.2987 320.1795 379.2345 Tm
(The )Tj
9.3246 0.1628 -0.1448 8.2987 341.1063 379.5999 Tm
(method )Tj
12.6866 0.2215 -0.1448 8.2987 54.1666 366.189 Tm
(is )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 70.0342 366.466 Tm
(a )Tj
0.05 Tc 11.3747 0.1986 -0.1448 8.2987 80.3226 366.6457 Tm
(collection )Tj
11.1275 0.1943 -0.1448 8.2987 136.2341 367.6218 Tm
(of )Tj
10.4864 0.1831 -0.1448 8.2987 151.7217 367.8922 Tm
(proof )Tj
11.3165 0.1976 -0.1448 8.2987 182.637 368.4319 Tm
(rules )Tj
10.456 0.1825 -0.1448 8.2987 213.4923 368.9706 Tm
(for )Tj
9.9987 0.1746 -0.1448 8.2987 233.4293 369.3187 Tm
(checking )Tj
10.5627 0.1844 -0.1448 8.2987 279.0923 370.1159 Tm
(the )Tj
10.9536 0.1912 -0.1448 8.2987 300.1291 370.4832 Tm
(correctness )Tj
11.1275 0.1943 -0.1448 8.2987 361.3198 371.5515 Tm
(of )Tj
9.7239 0.1698 -0.1448 8.2987 53.7134 357.7698 Tm
(program )Tj
9.6818 0.169 -0.1448 8.2987 94.8871 358.4887 Tm
(development )Tj
11.063 0.1931 -0.1448 8.2987 155.7678 359.5516 Tm
(steps. )Tj
9.246 0.1614 -0.1448 8.2987 195.7217 360.2491 Tm
(Development )Tj
10.1901 0.1779 -0.1448 8.2987 255.7626 361.2973 Tm
(begins )Tj
10.2402 0.1788 -0.1448 8.2987 290.7772 361.9087 Tm
(with )Tj
9.0419 0.1579 -0.1448 8.2987 316.3733 362.3555 Tm
(an )Tj
11.4967 0.2007 -0.1448 8.2987 331.461 362.6189 Tm
(abstract )Tj
11.4133 0.1993 -0.1448 8.2987 54.4013 349.8706 Tm
(specification )Tj
8.9751 0.1567 -0.1448 8.2987 136.7687 351.3087 Tm
(from )Tj
9.371 0.1636 -0.1448 8.2987 171.8934 351.9219 Tm
(which )Tj
8.8409 0.1543 -0.1448 8.2987 212.6771 352.6339 Tm
(more )Tj
10.5374 0.184 -0.1448 8.2987 249.0716 353.2693 Tm
(concrete )Tj
10.1982 0.178 -0.1448 8.2987 306.8828 354.2786 Tm
(\(or )Tj
10.2428 0.1788 -0.1448 8.2987 336.1783 354.7901 Tm
(design\) )Tj
11.3788 0.1987 -0.1448 8.2987 54.5478 341.4719 Tm
(specifications )Tj
10.6411 0.1858 -0.1448 8.2987 132.5859 342.8344 Tm
(are )Tj
9.7523 0.1703 -0.1448 8.2987 154.5425 343.2177 Tm
(produced )Tj
8.9952 0.157 -0.1448 8.2987 201.8153 344.043 Tm
(by )Tj
8.9958 0.1571 -0.1448 8.2987 218.3428 344.3316 Tm
(means )Tj
10.5711 0.1846 -0.1448 8.2987 250.6579 344.8958 Tm
(of )Tj
10.5084 0.1835 -0.1448 8.2987 267.4553 345.189 Tm
(data )Tj
10.2787 0.1795 -0.1448 8.2987 294.4012 345.6595 Tm
(type )Tj
10.4011 0.1816 -0.1448 8.2987 321.2971 346.129 Tm
(refinement )Tj
/C0_0 1 Tf
0 Tc 4.7993 0.0838 -0.1256 7.1989 54.6201 333.3119 Tm
<0061007E00640020>Tj
/T1_1 1 Tf
0.05 Tc 10.7483 0.1877 -0.1448 8.2987 75.3869 333.6745 Tm
(operation )Tj
10.096 0.1763 -0.1448 8.2987 126.2592 334.5627 Tm
(decomposition. )Tj
8.6511 0.151 -0.1448 8.2987 206.9169 335.9708 Tm
(The )Tj
10.3931 0.1815 -0.1448 8.2987 227.3837 336.3282 Tm
(underlying )Tj
10.9987 0.192 -0.1448 8.2987 283.9251 337.3153 Tm
(logic )Tj
10.8492 0.1894 -0.1448 8.2987 314.6304 337.8514 Tm
(of )Tj
12.0688 0.2107 -0.1448 8.2987 330.778 338.1333 Tm
(this )Tj
-0.035 Tc 6.7 0.117 -0.1448 8.2987 356.714 338.5861 Tm
(VDM )Tj
0.05 Tc 10.7028 0.1869 -0.1448 8.2987 54.1683 325.3829 Tm
(dl.alect )Tj
9.7458 0.1702 -0.1448 8.2987 97.4517 326.1385 Tm
(has )Tj
9.7104 0.1695 -0.1448 8.2987 119.5483 326.5243 Tm
(been )Tj
10.2743 0.1794 -0.1448 8.2987 147.5041 327.0124 Tm
(formalised )Tj
10.6539 0.186 -0.1448 8.2987 204.6354 328.0098 Tm
(in )Tj
8.7749 0.1532 -0.1448 8.2987 222.9926 328.3303 Tm
([3] )Tj
9.0851 0.1586 -0.1448 8.2987 243.5094 328.6885 Tm
(and )Tj
12.3436 0.2155 -0.1448 8.2987 266.056 329.0821 Tm
(is )Tj
8.3791 0.1463 -0.1448 8.2987 282.6935 329.3726 Tm
(known )Tj
10.1944 0.178 -0.1448 8.2987 315.2485 329.941 Tm
(as )Tj
0.0126 Tc 8.2987 0.1449 -0.1448 8.2987 332.3459 330.2395 Tm
(LPF )Tj
0 Tc 2.74 0 Td
[(-)-1115(a )]TJ
0.05 Tc 9.8168 0.1714 -0.1448 8.2987 54.369 316.745 Tm
(Logic )Tj
10.5711 0.1846 -0.1448 8.2987 85.2743 317.2846 Tm
(of )Tj
11.871 0.2072 -0.1448 8.2987 100.442 317.5494 Tm
(Partial )Tj
10.3253 0.1803 -0.1448 8.2987 141.0058 318.2576 Tm
(Functions. )Tj
8.5045 0.1485 -0.1448 8.2987 200.9666 319.3044 Tm
(The )Tj
11.0151 0.1923 -0.1448 8.2987 220.9736 319.6537 Tm
(preferred )Tj
10.2827 0.1795 -0.1448 8.2987 271.1259 320.5293 Tm
(proof )Tj
11.6894 0.2041 -0.1448 8.2987 301.6513 321.0623 Tm
(style, )Tj
10.1731 0.1776 -0.1448 8.2987 336.376 321.6685 Tm
(used )Tj
11.2458 0.1963 -0.1448 8.2987 362.442 322.1236 Tm
(in )Tj
10.7448 0.1876 -0.1448 8.2987 54.7713 308.5908 Tm
(the )Tj
12.1777 0.2126 -0.1448 8.2987 79.0076 309.014 Tm
(tutorial )Tj
9.0811 0.1585 -0.1448 8.2987 128.2401 309.8735 Tm
(book )Tj
8.9699 0.1566 -0.1448 8.2987 158.7254 310.4057 Tm
([1] )Tj
9.0851 0.1586 -0.1448 8.2987 181.172 310.7976 Tm
(and )Tj
10.9498 0.1912 -0.1448 8.2987 205.1684 311.2166 Tm
(in )Tj
9.322 0.1628 -0.1448 8.2987 222.9756 311.5275 Tm
(Mule, )Tj
13.0294 0.2275 -0.1448 8.2987 257.4604 312.1295 Tm
(is )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 276.4475 312.461 Tm
(a )Tj
0.05 Tc 9.2023 0.1607 -0.1448 8.2987 289.8654 312.6953 Tm
(form )Tj
10.8492 0.1894 -0.1448 8.2987 318.1811 313.1896 Tm
(of )Tj
10.7054 0.1869 -0.1448 8.2987 336.3283 313.5065 Tm
(Natural )Tj
10.1523 0.1772 -0.1448 8.2987 54.1444 302.0989 Tm
(Deduction. )Tj
8.9443 0.1562 -0.1448 8.2987 54.6725 283.8653 Tm
(The )Tj
9.4124 0.1643 -0.1448 8.2987 75.5293 284.2295 Tm
(above )Tj
10.9337 0.1909 -0.1448 8.2987 106.0747 284.7628 Tm
(topics )Tj
11.4434 0.1998 -0.1448 8.2987 140.8793 285.3704 Tm
(will )Tj
9.5166 0.1662 -0.1448 8.2987 166.1055 285.8108 Tm
(be )Tj
10.4654 0.1827 -0.1448 8.2987 181.2332 286.0749 Tm
(presented )Tj
11.1357 0.1944 -0.1448 8.2987 230.8656 286.9415 Tm
(via )Tj
11.3311 0.1978 -0.1448 8.2987 251.3625 287.2993 Tm
(suitable )Tj
9.9208 0.1732 -0.1448 8.2987 296.2856 288.0836 Tm
(examples. )Tj
-0.035 Tc 8.2016 0.1432 -0.1448 8.2987 54.728 269.2141 Tm
(LECTURE )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 96.2317 269.9387 Tm
(2 )Tj
0.05 Tc 10.7782 0.1882 -0.1448 8.2987 55.4945 250.5046 Tm
(In )Tj
10.3806 0.1812 -0.1448 8.2987 71.1421 250.7778 Tm
(the )Tj
9.6794 0.169 -0.1448 8.2987 91.189 251.1278 Tm
(second )Tj
11.2755 0.1969 -0.1448 8.2987 126.7436 251.7486 Tm
(lecture )Tj
10.5627 0.1844 -0.1448 8.2987 166.6475 252.4452 Tm
(the )Tj
9.6915 0.1692 -0.1448 8.2987 186.0945 252.7847 Tm
(major )Tj
10.044 0.1754 -0.1448 8.2987 215.85 253.3042 Tm
(meta-language )Tj
10.8492 0.1894 -0.1448 8.2987 286.7992 254.5429 Tm
(of )Tj
8.8581 0.1546 -0.1448 8.2987 301.4969 254.7995 Tm
(Mule )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 327.353 255.2509 Tm
[(-)-855(a )]TJ
0.05 Tc 10.9987 0.192 -0.1448 8.2987 347.7599 255.6072 Tm
(logic )Tj
9.3462 0.1632 -0.1448 8.2987 55.0151 241.8649 Tm
(programming )Tj
9.8647 0.1722 -0.1448 8.2987 120.4351 243.0071 Tm
(language )Tj
0.0498 Tc 8.2987 0.1449 -0.1448 8.2987 168.9677 243.8544 Tm
(known )Tj
0.05 Tc 10.1944 0.178 -0.1448 8.2987 202.9625 244.4479 Tm
(as )Tj
9.7263 0.1698 -0.1448 8.2987 221.1997 244.7663 Tm
(Graphl )Tj
11.4434 0.1998 -0.1448 8.2987 273.8317 245.6852 Tm
(will )Tj
9.5166 0.1662 -0.1448 8.2987 303.1372 246.1968 Tm
(be )Tj
10.8327 0.1891 -0.1448 8.2987 322.1043 246.528 Tm
(presented, )Tj
10.6774 0.1864 -0.1448 8.2987 55.2816 233.4683 Tm
(again, )Tj
9.9338 0.1734 -0.1448 8.2987 91.3661 234.0983 Tm
(mainly )Tj
11.1357 0.1944 -0.1448 8.2987 127.6005 234.7309 Tm
(via )Tj
9.4763 0.1655 -0.1448 8.2987 148.6373 235.0982 Tm
(examples )Tj
11.1275 0.1943 -0.1448 8.2987 193.9804 235.8898 Tm
(of )Tj
-0.006 Tc 8.2987 0.1449 -0.1448 8.2987 209.678 236.1639 Tm
(how )Tj
0.05 Tc 9.8107 0.1713 -0.1448 8.2987 230.1849 236.5219 Tm
(such )Tj
11.0978 0.1938 -0.1448 8.2987 255.731 236.9679 Tm
(tools )Tj
10.1944 0.178 -0.1448 8.2987 285.8964 237.4946 Tm
(as )Tj
10.5882 0.1849 -0.1448 8.2987 301.374 237.7648 Tm
(proof )Tj
10.417 0.1819 -0.1448 8.2987 332.2093 238.3031 Tm
(checkers )Tj
10.5711 0.1846 -0.1448 8.2987 55.4381 225.0698 Tm
(or )Tj
10.1502 0.1772 -0.1448 8.2987 71.5956 225.3519 Tm
(t\245pe )Tj
10.2915 0.1797 -0.1448 8.2987 97.1917 225.7987 Tm
(checkers )Tj
10.4576 0.1826 -0.1448 8.2987 143.2547 226.6029 Tm
(are )Tj
11.1414 0.1945 -0.1448 8.2987 163.2616 226.9522 Tm
(written. )Tj
10.8244 0.189 -0.1448 8.2987 213.6239 227.8315 Tm
(Further, )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 259.4269 228.6311 Tm
(a )Tj
0.05 Tc 9.1766 0.1602 -0.1448 8.2987 270.0453 228.8165 Tm
(method )Tj
10.8492 0.1894 -0.1448 8.2987 306.1998 229.4478 Tm
(of )Tj
10.6793 0.1864 -0.1448 8.2987 322.2873 229.7286 Tm
(generating )Tj
9.0812 0.1585 -0.1448 8.2987 57.016 217.1761 Tm
('Rapl.d )Tj
10.8331 0.1891 -0.1448 8.2987 93.5404 217.8138 Tm
(Prototypes' )Tj
8.9751 0.1567 -0.1448 8.2987 156.8407 218.9189 Tm
(from )Tj
-0.035 Tc 6.5937 0.1151 -0.1448 8.2987 183.0867 219.3772 Tm
(VDM )Tj
0.05 Tc 11.2865 0.1971 -0.1448 8.2987 205.7333 219.7725 Tm
(specification )Tj
11.3021 0.1973 -0.1448 8.2987 277.6223 221.0276 Tm
(will )Tj
9.2726 0.1619 -0.1448 8.2987 305.0081 221.5057 Tm
(be )Tj
10.7747 0.1881 -0.1448 8.2987 322.1755 221.8055 Tm
(discussed. )Tj
10.1789 0.1777 -0.1448 8.2987 55.4927 208.7482 Tm
(This )Tj
10.4505 0.1824 -0.1448 8.2987 84.0484 209.2468 Tm
(involves )Tj
10.7448 0.1876 -0.1448 8.2987 132.341 210.0899 Tm
(the )Tj
11.5053 0.2009 -0.1448 8.2987 155.3775 210.4921 Tm
(translation )Tj
10.5711 0.1846 -0.1448 8.2987 217.9379 211.5843 Tm
(of )Tj
11.3003 0.1973 -0.1448 8.2987 236.1152 211.9017 Tm
(specifications )Tj
11.0894 0.1936 -0.1448 8.2987 314.8932 213.2771 Tm
(into )Tj
10.2582 0.1791 -0.1448 8.2987 342.5289 213.7595 Tm
(Prolog )Tj
/C0_0 1 Tf
0 Tc 4.9859 0.0871 -0.1256 7.1989 55.9834 200.1155 Tm
<006100750067006D007E006E0074006500640020>Tj
/T1_1 1 Tf
0.05 Tc 10.2402 0.1788 -0.1448 8.2987 108.0354 201.0243 Tm
(with )Tj
11.9433 0.2085 -0.1448 8.2987 135.5412 201.5045 Tm
(libraries )Tj
10.5711 0.1846 -0.1448 8.2987 186.8934 202.401 Tm
(of )Tj
9.9273 0.1733 -0.1448 8.2987 203.5108 202.6911 Tm
(Prolog )Tj
10.7697 0.188 -0.1448 8.2987 239.4354 203.3183 Tm
(clauses )Tj
9.7456 0.1702 -0.1448 8.2987 281.219 204.0478 Tm
(implementing )Tj
12.1059 0.2113 -0.1448 8.2987 347.8388 205.2109 Tm
(sets, )Tj
8.8434 0.1544 -0.1448 8.2987 55.376 191.9336 Tm
(mappl.ngs )Tj
9.2418 0.1613 -0.1448 8.2987 102.0988 192.7494 Tm
(and )Tj
10.9631 0.1914 -0.1448 8.2987 122.4757 193.1051 Tm
(other )Tj
/C0_0 1 Tf
0 Tc 4.8393 0.0845 -0.1214 6.959 153.551 193.6477 Tm
<0063006F007E007E006F006E0020>Tj
/T1_1 1 Tf
0.05 Tc 11.0719 0.1933 -0.1448 8.2987 188.7056 194.2614 Tm
(abstractions )Tj
9.9309 0.1734 -0.1448 8.2987 254.3256 195.407 Tm
(used )Tj
10.6539 0.186 -0.1448 8.2987 280.8716 195.8705 Tm
(in )Tj
-0.035 Tc 6.5937 0.1151 -0.1448 8.2987 295.8293 196.1317 Tm
(VDM )Tj
0.05 Tc 9.8547 0.172 -0.1448 8.2987 317.176 196.5043 Tm
(model-based )Tj
11.4452 0.1998 -0.1448 8.2987 56.3129 185.239 Tm
(specifications. )Tj
10.2202 0.1784 -0.1448 8.2987 56.2319 168.6651 Tm
(References )Tj
0.041 Tc 8.2987 0.1449 -0.1448 8.2987 58.0922 149.7447 Tm
([1 )Tj
0 Tc 9.5985 0.1676 -0.1674 9.5985 67.6008 149.9107 Tm
(J )Tj
8.2987 0.1449 -0.1448 8.2987 81.7286 150.1573 Tm
[(C )-331(B )]TJ
0.05 Tc 9.9453 0.1736 -0.1448 8.2987 102.1455 150.5138 Tm
(Jones )Tj
10.1447 0.1771 -0.1448 8.2987 132.9708 151.052 Tm
("Systematic )Tj
9.7883 0.1709 -0.1448 8.2987 192.4917 152.0911 Tm
(Software )Tj
9.2869 0.1621 -0.1448 8.2987 237.2649 152.8728 Tm
(Development )Tj
10.4491 0.1824 -0.1448 8.2987 297.2957 153.9209 Tm
(using )Tj
-0.035 Tc 7.8184 0.1365 -0.1448 8.2987 327.5111 154.4484 Tm
(VDW' )Tj
0.05 Tc 11.0576 0.1931 -0.1448 8.2987 82.1692 141.5237 Tm
(to )Tj
9.2726 0.1619 -0.1448 8.2987 97.3269 141.7883 Tm
(be )Tj
10.4357 0.1822 -0.1448 8.2987 112.4546 142.0524 Tm
(published )Tj
8.9952 0.157 -0.1448 8.2987 162.597 142.9279 Tm
(by )Tj
10.8029 0.1886 -0.1448 8.2987 177.6547 143.1908 Tm
(Prentice-Hall )Tj
11.2214 0.1959 -0.1448 8.2987 247.9339 144.4177 Tm
(International )Tj
10.3579 0.1808 -0.1448 8.2987 318.4732 145.6493 Tm
(in )Tj
11.2471 0.1964 -0.1448 8.2987 333.0809 145.9043 Tm
(early )Tj
9.4832 0.1656 -0.1448 8.2987 82.4622 135.0478 Tm
(1986. )Tj
9.1649 0.16 -0.1448 8.2987 58.6624 115.9095 Tm
([2] )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 82.8187 116.3312 Tm
[(I )-605(D )]TJ
0.05 Tc 9.4671 0.1653 -0.1448 8.2987 102.6957 116.6782 Tm
(Cottam )Tj
12.474 0.2178 -0.1448 8.2987 137.9403 117.2936 Tm
(et )Tj
11.407 0.1992 -0.1448 8.2987 153.068 117.5577 Tm
(aI, )Tj
10.7531 0.1877 -0.1448 8.2987 173.6249 117.9166 Tm
("Project )Tj
10.0001 0.1746 -0.1448 8.2987 217.5582 118.6836 Tm
(Support )Tj
9.6874 0.1691 -0.1448 8.2987 257.762 119.3855 Tm
(Environments )Tj
10.456 0.1825 -0.1448 8.2987 323.682 120.5364 Tm
(for )Tj
9.3867 0.1639 -0.1448 8.2987 343.4389 120.8813 Tm
(Formal )Tj
9.1567 0.1599 -0.1448 8.2987 82.2697 107.6703 Tm
(Methods" )Tj
11.5417 0.2015 -0.1448 8.2987 128.0427 108.4695 Tm
(in )Tj
10.8316 0.1891 -0.1448 8.2987 143.7703 108.744 Tm
("Integrated )Tj
10.8666 0.1897 -0.1448 8.2987 202.9613 109.7774 Tm
(Project )Tj
10.0001 0.1746 -0.1448 8.2987 242.6652 110.4706 Tm
(Support )Tj
9.6696 0.1688 -0.1448 8.2987 282.8691 111.1725 Tm
(Environments" )Tj
10.1771 0.1777 -0.1448 8.2987 353.5983 112.4074 Tm
(ed. )Tj
9.5709 0.1671 -0.1448 8.2987 82.8817 99.5298 Tm
(John )Tj
8.6462 0.151 -0.1448 8.2987 107.8479 99.9656 Tm
(McDermid, )Tj
9.0496 0.158 -0.1448 8.2987 158.2902 100.8463 Tm
(pub )Tj
10.6215 0.1854 -0.1448 8.2987 178.3872 101.1972 Tm
(Peter )Tj
10.3963 0.1815 -0.1448 8.2987 208.1426 101.7167 Tm
(Peregrinus )Tj
10.6427 0.1858 -0.1448 8.2987 263.5042 102.6832 Tm
(for )Tj
9.3091 0.1625 -0.1448 8.2987 283.7011 103.0358 Tm
(lEE, )Tj
9.3823 0.1638 -0.1448 8.2987 308.6573 103.4715 Tm
(1985. )Tj
/T1_2 1 Tf
8.0111 0.1399 -0.1221 6.9989 59.3044 82.5456 Tm
([3J )Tj
/T1_1 1 Tf
0 Tc 8.2987 0.1449 -0.1448 8.2987 82.9408 82.9583 Tm
(H )Tj
0.05 Tc 10.7032 0.1869 -0.1448 8.2987 93.2492 83.1383 Tm
(Barringer, )Tj
0 Tc 7.1989 0.1257 -0.1256 7.1989 148.4508 84.102 Tm
(J )Tj
0.05 Tc 8.695 0.1518 -0.1448 8.2987 158.2393 84.2729 Tm
(Cheng )Tj
9.0851 0.1586 -0.1448 8.2987 188.4747 84.8008 Tm
(and )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 207.9217 85.1403 Tm
[(C )-302(B )]TJ
0.05 Tc 10.4376 0.1822 -0.1448 8.2987 227.8587 85.4884 Tm
(Jones, )Tj
-0.035 Tc 7.9516 0.1388 -0.1448 8.2987 264.2431 86.1236 Tm
("A )Tj
0.05 Tc 9.6262 0.1681 -0.1448 8.2987 278.021 86.3641 Tm
(Logic )Tj
9.7826 0.1708 -0.1448 8.2987 308.2064 86.8911 Tm
(Covering )Tj
9.8794 0.1725 -0.1448 8.2987 83.1257 74.0802 Tm
(Undefinedness )Tj
10.6539 0.186 -0.1448 8.2987 154.0748 75.3188 Tm
(in )Tj
9.208 0.1608 -0.1448 8.2987 168.7626 75.5753 Tm
(Program )Tj
10.5211 0.1837 -0.1448 8.2987 208.3466 76.2663 Tm
(Proofs", )Tj
9.5787 0.1672 -0.1448 8.2987 253.2497 77.0503 Tm
(Acta )Tj
10.4022 0.1816 -0.1448 8.2987 279.1158 77.5019 Tm
(Informatica )Tj
9.1924 0.1605 -0.1448 8.2987 338.4367 78.5376 Tm
(Vol )Tj
0.002 Tc 8.2987 0.1449 -0.1448 8.2987 359.7634 78.9099 Tm
(21 )Tj
0.05 Tc 11.6158 0.2028 -0.1448 8.2987 83.0371 67.1175 Tm
(part )Tj
9.7483 0.1702 -0.1448 8.2987 109.0631 67.5719 Tm
(3, )Tj
9.5027 0.1659 -0.1448 8.2987 124.2308 67.8367 Tm
(251-269. )Tj
-0.035 Tc 7.8846 0.1376 -0.143 8.1987 511.5497 501.8737 Tm
(MACHINE )Tj
-0.028 Tc 8.1987 0.1431 -0.143 8.1987 552.4634 502.588 Tm
(SUPPORT )Tj
0.0309 Tc 7.7989 0.1362 -0.136 7.7989 592.1974 503.2817 Tm
(ANn )Tj
-0.0246 Tc 8.1987 0.1431 -0.143 8.1987 612.8142 503.6417 Tm
(FUNCTIONAL )Tj
0.05 Tc 8.2732 0.1444 -0.143 8.1987 668.6057 504.6157 Tm
(SPECIFICATIONS )Tj
8.6639 0.1513 -0.1448 8.2987 461.326 476.9932 Tm
(From )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 486.7221 477.4366 Tm
(a )Tj
0.05 Tc 10.3452 0.1806 -0.1448 8.2987 496.6606 477.6101 Tm
(pragmatic )Tj
10.9026 0.1904 -0.1448 8.2987 547.7728 478.5025 Tm
(point )Tj
10.8492 0.1894 -0.1448 8.2987 577.8882 479.0283 Tm
(of )Tj
9.5457 0.1667 -0.1448 8.2987 592.6059 479.2852 Tm
(view )Tj
11.1578 0.1948 -0.1448 8.2987 618.272 479.7333 Tm
(there )Tj
10.8246 0.189 -0.1448 8.2987 648.9073 480.2682 Tm
(are )Tj
11.1369 0.1944 -0.1448 8.2987 669.0143 480.6192 Tm
(several )Tj
10.5545 0.1843 -0.1448 8.2987 709.948 481.3339 Tm
(reasons )Tj
11.2028 0.1956 -0.1448 8.2987 751.3617 482.0569 Tm
(for )Tj
9.7751 0.1707 -0.1448 8.2987 771.5386 482.4092 Tm
(an )Tj
12.171 0.2125 -0.1448 8.2987 461.6483 468.8376 Tm
(interest )Tj
10.9498 0.1912 -0.1448 8.2987 507.9712 469.6464 Tm
(in )Tj
/C0_0 1 Tf
0 Tc 4.7993 0.0838 -0.1005 5.7591 523.1789 469.9119 Tm
<0066006F0072007E0061006C0020>Tj
/T1_1 1 Tf
0.05 Tc 11.4025 0.1991 -0.1448 8.2987 558.2935 470.5249 Tm
(specification. )Tj
9.9327 0.1734 -0.1448 8.2987 633.472 471.8374 Tm
(There )Tj
12.3436 0.2155 -0.1448 8.2987 664.8972 472.3861 Tm
(is )Tj
11.109 0.194 -0.1448 8.2987 679.365 472.6387 Tm
(the )Tj
9.7983 0.1711 -0.1448 8.2987 700.0219 472.9993 Tm
(need )Tj
11.9306 0.2083 -0.1448 8.2987 725.438 473.4431 Tm
(to )Tj
9.7606 0.1704 -0.1448 8.2987 740.5957 473.7077 Tm
(be )Tj
11.0531 0.193 -0.1448 8.2987 756.0733 473.9779 Tm
(able )Tj
11.9306 0.2083 -0.1448 8.2987 781.8294 474.4276 Tm
(to )Tj
/T1_0 1 Tf
10.3804 0.1812 -0.1395 7.9988 461.1149 460.427 Tm
(record )Tj
10.9583 0.1913 -0.1395 7.9988 497.2793 461.0584 Tm
(the )Tj
10.1811 0.1777 -0.1395 7.9988 517.7562 461.4159 Tm
(design )Tj
10.4386 0.1823 -0.1395 7.9988 553.1908 462.0346 Tm
(process. )Tj
/T1_1 1 Tf
10.6083 0.1852 -0.1448 8.2987 598.5639 462.8267 Tm
(Currently )Tj
10.9269 0.1908 -0.1448 8.2987 649.0362 463.7079 Tm
(the )Tj
10.0688 0.1758 -0.1448 8.2987 669.603 464.067 Tm
(only )Tj
/C0_0 1 Tf
0 Tc 5.005 0.0874 -0.1005 5.7591 695.1492 464.513 Tm
<006F007500740063006F007E00650020>Tj
/T1_1 1 Tf
0.05 Tc 10.5711 0.1846 -0.1448 8.2987 735.8329 465.2233 Tm
(of )Tj
10.823 0.1889 -0.1448 8.2987 751.0206 465.4884 Tm
(th7 )Tj
10.5248 0.1837 -0.1448 8.2987 461.4572 452.2718 Tm
(design )Tj
10.992 0.1919 -0.1448 8.2987 497.3917 452.8991 Tm
(stage )Tj
12.3436 0.2155 -0.1448 8.2987 528.4069 453.4406 Tm
(is )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 543.0647 453.6965 Tm
(a )Tj
0.05 Tc 12.6449 0.2208 -0.1448 8.2987 553.5631 453.8798 Tm
(flat )Tj
9.6541 0.1685 -0.1448 8.2987 578.1893 454.3098 Tm
(program. )Tj
10.5079 0.1835 -0.1448 8.2987 623.7524 455.1052 Tm
(All )Tj
11.109 0.194 -0.1448 8.2987 644.1393 455.4612 Tm
(the )Tj
/C0_0 1 Tf
0 Tc 4.9433 0.0863 -0.0963 5.5193 665.0561 455.8264 Tm
<00730074007200750063007400750072007E006C0020>Tj
4.5993 0.0803 -0.0963 5.5193 721.2075 456.8067 Tm
<006C002E007E0066006F0072006D0061007400370030006E0020>Tj
/T1_1 1 Tf
0.05 Tc 10.1606 0.1774 -0.1448 8.2987 462.0794 444.1214 Tm
(about )Tj
11.109 0.194 -0.1448 8.2987 492.3848 444.6505 Tm
(the )Tj
0.0372 Tc 8.2987 0.1449 -0.1448 8.2987 512.8017 445.0069 Tm
(way )Tj
0.05 Tc 11.109 0.194 -0.1448 8.2987 533.1785 445.3627 Tm
(the )Tj
9.5282 0.1664 -0.1448 8.2987 553.3755 445.7153 Tm
(program )Tj
10.0819 0.176 -0.1448 8.2987 593.6693 446.4188 Tm
(has )Tj
9.7104 0.1695 -0.1448 8.2987 613.8462 446.7711 Tm
(been )Tj
10.1663 0.1775 -0.1448 8.2987 635.9928 447.1577 Tm
(,developed, )Tj
/C0_0 1 Tf
0 Tc 4.1994 0.0733 -0.0963 5.5193 694.9439 448.1869 Tm
<00770068006C002E007E00680020>Tj
/T1_1 1 Tf
0.0011 Tc 8.2987 0.1449 -0.1448 8.2987 726.3091 448.7345 Tm
(l.S )Tj
0.05 Tc 10.5569 0.1843 -0.1448 8.2987 741.1568 448.9937 Tm
(crucl.al )Tj
11.9306 0.2083 -0.1448 8.2987 782.2605 449.7113 Tm
(to )Tj
13.554 0.2366 -0.1448 8.2987 462.4559 435.7267 Tm
(its )Tj
/C0_0 1 Tf
0 Tc 4.9193 0.0859 -0.1005 5.7591 482.4828 436.0764 Tm
<0063006F007E00700072006500680065006E00730069006F006E002C0020>Tj
/T1_1 1 Tf
0.05 Tc 13.7993 0.2409 -0.1448 8.2987 554.7918 437.3388 Tm
('is )Tj
12.0126 0.2097 -0.1448 8.2987 574.0488 437.675 Tm
(lost. )Tj
9.7416 0.1701 -0.1448 8.2987 603.8243 438.1948 Tm
(There )Tj
0.0275 Tc 8.2987 0.1449 -0.1448 8.2987 634.8096 438.7358 Tm
(1S )Tj
0.05 Tc 11.12 0.1941 -0.1448 8.2987 649.6273 438.9945 Tm
(also )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 675.0934 439.4391 Tm
(a )Tj
/C0_0 1 Tf
4.4527 0.0777 -0.1005 5.7591 685.0219 439.6124 Tm
<00700072007E00730073006C002E006E00670020>Tj
/T1_1 1 Tf
0.05 Tc 9.6803 0.169 -0.1448 8.2987 731.3148 440.4206 Tm
(need )Tj
11.6395 0.2032 -0.1448 8.2987 756.7309 440.8644 Tm
(to )Tj
10.0047 0.1747 -0.1448 8.2987 772.1286 441.1332 Tm
(be )Tj
10.7868 0.1883 -0.1448 8.2987 462.1224 427.3196 Tm
(able )Tj
11.3486 0.1981 -0.1448 8.2987 487.6385 427.7651 Tm
(to )Tj
/T1_0 1 Tf
11.4766 0.2004 -0.1395 7.9988 502.6463 428.0271 Tm
(investigate )Tj
10.593 0.1849 -0.1395 7.9988 564.0869 429.0998 Tm
(the )Tj
10.1811 0.1777 -0.1395 7.9988 584.0838 429.4489 Tm
(design )Tj
9.383 0.1638 -0.1395 7.9988 619.3484 430.0646 Tm
(ahead )Tj
11.8956 0.2077 -0.1395 7.9988 649.5438 430.5917 Tm
(of )Tj
9.382 0.1638 -0.1395 7.9988 665.3214 430.8672 Tm
(producl.ng )Tj
10.7757 0.1881 -0.1395 7.9988 716.2237 431.7559 Tm
(the )Tj
/T1_1 1 Tf
9.8433 0.1718 -0.1448 8.2987 736.6505 432.1125 Tm
(coqe. )Tj
8.9443 0.1562 -0.1448 8.2987 462.2055 410.5185 Tm
(The )Tj
10.1368 0.177 -0.1448 8.2987 482.8223 410.8784 Tm
(complexity )Tj
10.8492 0.1894 -0.1448 8.2987 538.7338 411.8546 Tm
(of )Tj
10.5627 0.1844 -0.1448 8.2987 554.1614 412.1239 Tm
(the )Tj
8.877 0.155 -0.1448 8.2987 573.8784 412.4682 Tm
(programmming )Tj
11.0843 0.1935 -0.1448 8.2987 640.0683 413.6238 Tm
(task, )Tj
9.4619 0.1652 -0.1448 8.2987 670.3237 414.152 Tm
(which )Tj
11.5923 0.2024 -0.1448 8.2987 701.019 414.6879 Tm
(typicall\245 )Tj
9.2339 0.1612 -0.1448 8.2987 751.8313 415.575 Tm
(com\255)Tj
11.569 0.202 -0.1448 8.2987 462.6919 402.1257 Tm
(prises )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 498.3465 402.7482 Tm
(a )Tj
0.05 Tc 9.3041 0.1624 -0.1448 8.2987 508.4949 402.9254 Tm
(huge )Tj
9.0177 0.1574 -0.1448 8.2987 533.9311 403.3695 Tm
(number )Tj
10.5711 0.1846 -0.1448 8.2987 569.3557 403.9879 Tm
(of )Tj
10.1621 0.1774 -0.1448 8.2987 584.6733 404.2554 Tm
(small )Tj
/C0_0 1 Tf
0 Tc 4.9021 0.0856 -0.1005 5.7591 615.0587 404.7858 Tm
<007300680061006C007E006F00770020>Tj
/T1_1 1 Tf
0.05 Tc 10.0391 0.1753 -0.1448 8.2987 655.4625 405.4912 Tm
(st.eps, )Tj
/C0_0 1 Tf
0 Tc 3.531 0.0616 -0.1005 5.7591 690.6371 406.1053 Tm
<007E007E006C003B002E0065007E0020>Tj
/T1_1 1 Tf
0.05 Tc 9.9536 0.1738 -0.1448 8.2987 721.0925 406.6371 Tm
(mach1ne,sup\255)Tj
11.3747 0.1986 -0.1448 8.2987 462.5903 394.1927 Tm
(port )Tj
11.0161 0.1923 -0.1448 8.2987 488.6063 394.6469 Tm
(for )Tj
10.9269 0.1908 -0.1448 8.2987 508.6133 394.9962 Tm
(the )Tj
10.4406 0.1823 -0.1448 8.2987 528.7002 395.3469 Tm
(design )Tj
/C0_0 1 Tf
0 Tc 4.9021 0.0856 -0.0963 5.5193 564.3248 395.9689 Tm
<00700072006F007E0065007300730020>Tj
/T1_1 1 Tf
0.05 Tc 11.2209 0.1959 -0.1448 8.2987 604.5086 396.6705 Tm
(essent1al. )Tj
/C0_0 1 Tf
0 Tc 4.9593 0.0866 -0.0963 5.5193 660.78 397.6529 Tm
<0046006F0072006D006100310037007E00790020>Tj
/T1_1 1 Tf
0.05 Tc 8.3498 0.1458 -0.1448 8.2987 711.6023 398.5402 Tm
(1S )Tj
/C0_0 1 Tf
0 Tc 4.9859 0.0871 -0.0963 5.5193 726.7699 398.805 Tm
<00650073007E0065006E007400310061006C0020>Tj
/T1_1 1 Tf
0.05 Tc 11.6395 0.2032 -0.1448 8.2987 777.8522 399.6968 Tm
(to )Tj
10.569 0.1845 -0.1448 8.2987 462.8482 386.286 Tm
(cracking )Tj
12.3704 0.216 -0.1448 8.2987 508.7512 387.0874 Tm
(this )Tj
9.6754 0.1689 -0.1448 8.2987 533.9874 387.528 Tm
(problem )Tj
11.2942 0.1972 -0.1448 8.2987 574.8011 388.2406 Tm
(Slnce1n )Tj
10.4481 0.1824 -0.1448 8.2987 620.0142 389.03 Tm
(essence )Tj
11.2672 0.1967 -0.1448 8.2987 660.648 389.7394 Tm
(there )Tj
8.3498 0.1458 -0.1448 8.2987 691.5833 390.2794 Tm
(1S )Tj
9.2863 0.1621 -0.1448 8.2987 706.661 390.5427 Tm
(an )Tj
10.1297 0.1768 -0.1448 8.2987 721.7587 390.8063 Tm
(equ1valence )Tj
9.6824 0.169 -0.1448 8.2987 463.1005 378.1292 Tm
(between )Tj
9.5408 0.1666 -0.1448 8.2987 503.6343 378.8369 Tm
(what )Tj
12.3436 0.2155 -0.1448 8.2987 529.7003 379.2919 Tm
(is )Tj
/T1_0 1 Tf
9.4386 0.1648 -0.1395 7.9988 545.178 379.5622 Tm
(formal )Tj
/T1_1 1 Tf
9.3985 0.1641 -0.1448 8.2987 579.8527 380.1675 Tm
(and )Tj
9.5408 0.1666 -0.1448 8.2987 599.6197 380.5126 Tm
(what )Tj
12.3436 0.2155 -0.1448 8.2987 625.6857 380.9677 Tm
(is )Tj
/T1_0 1 Tf
9.5524 0.1668 -0.1395 7.9988 639.9035 381.216 Tm
(machine )Tj
10.5978 0.185 -0.1395 7.9988 681.0073 381.9336 Tm
(supportable. )Tj
/T1_1 1 Tf
0 Tc 8.2987 0.1449 -0.1448 8.2987 463.1294 361.5672 Tm
(A )Tj
0.05 Tc 9.8205 0.1714 -0.1448 8.2987 474.0677 361.7581 Tm
(formal )Tj
11.4556 0.2 -0.1448 8.2987 509.2923 362.3731 Tm
(specification )Tj
10.5711 0.1846 -0.1448 8.2987 580.1415 363.6101 Tm
(of )Tj
10.9269 0.1908 -0.1448 8.2987 595.0892 363.871 Tm
(the )Tj
10.8322 0.1891 -0.1448 8.2987 615.8761 364.2339 Tm
(functional )Tj
10.2848 0.1796 -0.1448 8.2987 671.1976 365.1998 Tm
(behaviour )Tj
11.1275 0.1943 -0.1448 8.2987 721.9499 366.0859 Tm
(of )Tj
/C0_0 1 Tf
0 Tc 5.0393 0.088 -0.1046 5.9991 737.6575 366.3601 Tm
<0061002C00700072006F007E00720061006D0020>Tj
/T1_1 1 Tf
0.05 Tc 9.5363 0.1665 -0.1448 8.2987 463.2577 353.6382 Tm
(must )Tj
9.7606 0.1704 -0.1448 8.2987 488.7238 354.0828 Tm
(be )Tj
12.2273 0.2135 -0.1448 8.2987 504.0815 354.351 Tm
(built )Tj
9.0895 0.1587 -0.1448 8.2987 534.6968 354.8855 Tm
(on )Tj
10.7448 0.1876 -0.1448 8.2987 549.8745 355.1505 Tm
(the )Tj
11.1448 0.1946 -0.1448 8.2987 570.2713 355.5066 Tm
(theories )Tj
10.5711 0.1846 -0.1448 8.2987 615.5544 356.2971 Tm
(of )Tj
10.9269 0.1908 -0.1448 8.2987 630.5022 356.5581 Tm
(the )Tj
10.6415 0.1858 -0.1448 8.2987 650.8291 356.913 Tm
(data )Tj
10.6112 0.1853 -0.1448 8.2987 676.3352 357.3583 Tm
(types )Tj
10.3259 0.1803 -0.1448 8.2987 706.7405 357.8891 Tm
(over )Tj
8.8082 0.1538 -0.1448 8.2987 732.0267 358.3306 Tm
(wh1ch )Tj
12.0682 0.2107 -0.1448 8.2987 763.2919 358.8764 Tm
(1t )Tj
9.7408 0.1701 -0.1448 8.2987 463.57 345.4824 Tm
(computes. )Tj
10.6897 0.1866 -0.1448 8.2987 519.9514 346.4668 Tm
(capturing )Tj
11.109 0.194 -0.1448 8.2987 570.1737 347.3436 Tm
(the )Tj
10.3009 0.1798 -0.1448 8.2987 590.9905 347.707 Tm
(intended )Tj
/C0_0 1 Tf
0 Tc 4.9839 0.087 -0.1005 5.7591 636.4336 348.5004 Tm
<00660075006E0063007E0069006F006E0061006C0069007400790020>Tj
/T1_1 1 Tf
0.05 Tc 12.3436 0.2155 -0.1448 8.2987 707.6027 349.7429 Tm
(is )Tj
11.5338 0.2014 -0.1448 8.2987 722.2305 349.9983 Tm
(crucial )Tj
/C0_0 1 Tf
0 Tc 4.9912 0.0871 -0.1005 5.7591 763.3842 350.7168 Tm
<0073007E006E006300650020>Tj
/T1_1 1 Tf
0.05 Tc 15.1036 0.2637 -0.1448 8.2987 464.392 337.3456 Tm
(it )Tj
12.3436 0.2155 -0.1448 8.2987 479.7796 337.6142 Tm
(is )Tj
11.109 0.194 -0.1448 8.2987 494.2475 337.8668 Tm
(the )Tj
10.6424 0.1858 -0.1448 8.2987 514.8143 338.2259 Tm
(cornerstone )Tj
10.5711 0.1846 -0.1448 8.2987 575.525 339.2858 Tm
(of )Tj
9.311 0.1626 -0.1448 8.2987 590.2528 339.5429 Tm
(what )Tj
12.0008 0.2095 -0.1448 8.2987 616.3188 339.998 Tm
(is )Tj
8.5014 0.1484 -0.1448 8.2987 630.5566 340.2466 Tm
(meant. )Tj
9.2259 0.1611 -0.1448 8.2987 661.302 340.7833 Tm
(by )Tj
11.1951 0.1954 -0.1448 8.2987 676.5396 341.0494 Tm
(correctness. )Tj
/T1_0 1 Tf
9.8253 0.1715 -0.1395 7.9988 742.4796 342.2006 Tm
(Functl.on\255)Tj
10.8517 0.1895 -0.1395 7.9988 463.8744 329.1753 Tm
(al )Tj
11.4126 0.1992 -0.1395 7.9988 479.3421 329.4453 Tm
(specification )Tj
/T1_1 1 Tf
10.0265 0.175 -0.1448 8.2987 550.7312 330.6917 Tm
(languages )Tj
11.6177 0.2028 -0.1448 8.2987 601.1035 331.5711 Tm
(like )Tj
-0.0244 Tc 8.2987 0.1449 -0.1448 8.2987 626.0797 332.0072 Tm
(OBJ )Tj
0.05 Tc 10.4769 0.1829 -0.1448 8.2987 646.0966 332.3566 Tm
(provide )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 687.0304 333.0713 Tm
(a )Tj
0.05 Tc 8.9958 0.1571 -0.1448 8.2987 697.1688 333.2483 Tm
(means )Tj
11.0161 0.1923 -0.1448 8.2987 728.2641 333.7912 Tm
(for )Tj
10.5483 0.1842 -0.1448 8.2987 748.191 334.1391 Tm
(ab\255)Tj
12.1315 0.2118 -0.1448 8.2987 464.1567 321.019 Tm
(stractly )Tj
10.851 0.1894 -0.1448 8.2987 509.8197 321.8162 Tm
(defining )Tj
10.6415 0.1858 -0.1448 8.2987 555.4128 322.6122 Tm
(data )Tj
10.4031 0.1816 -0.1448 8.2987 580.9189 323.0575 Tm
(types )Tj
9.2418 0.1613 -0.1448 8.2987 611.0943 323.5843 Tm
(and )Tj
10.8181 0.1889 -0.1448 8.2987 631.2412 323.9361 Tm
(operations )Tj
10.3259 0.1803 -0.1448 8.2987 687.1527 324.9122 Tm
(over )Tj
9.5215 0.1662 -0.1448 8.2987 712.4288 325.3535 Tm
(them, )Tj
10.5357 0.1839 -0.1448 8.2987 743.1341 325.8896 Tm
(they )Tj
9.9853 0.1743 -0.1448 8.2987 768.7402 326.3366 Tm
(can )Tj
10.8569 0.1895 -0.1448 8.2987 464.1291 312.8573 Tm
(describe )Tj
10.9269 0.1908 -0.1448 8.2987 510.0321 313.6587 Tm
(the )Tj
10.7437 0.1876 -0.1448 8.2987 530.189 314.0106 Tm
(transformations )Tj
11.3486 0.1981 -0.1448 8.2987 611.0566 315.4224 Tm
(to )Tj
9.5166 0.1662 -0.1448 8.2987 625.9744 315.6829 Tm
(be )Tj
11.1682 0.195 -0.1448 8.2987 641.442 315.9529 Tm
(effected )Tj
9.2259 0.1611 -0.1448 8.2987 686.9251 316.747 Tm
(by )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 702.4327 317.0177 Tm
(a )Tj
0.05 Tc 9.5933 0.1675 -0.1448 8.2987 712.3612 317.1911 Tm
(program )Tj
11.0559 0.193 -0.1448 8.2987 753.155 317.9033 Tm
(but )Tj
9.9853 0.1743 -0.1448 8.2987 773.9218 318.2658 Tm
(can )Tj
10.4054 0.1817 -0.1448 8.2987 464.2256 304.4576 Tm
(say )Tj
10.5276 0.1838 -0.1448 8.2987 484.5225 304.812 Tm
(nothing )Tj
10.1606 0.1774 -0.1448 8.2987 525.7062 305.531 Tm
(about )Tj
10.9269 0.1908 -0.1448 8.2987 555.7716 306.0559 Tm
(the )Tj
11.0126 0.1923 -0.1448 8.2987 576.5884 306.4194 Tm
(location )Tj
10.5711 0.1846 -0.1448 8.2987 621.4516 307.2026 Tm
(of )Tj
11.8839 0.2075 -0.1448 8.2987 636.6492 307.4679 Tm
(results )Tj
11.2458 0.1963 -0.1448 8.2987 677.613 308.1831 Tm
(in )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 692.5007 308.443 Tm
(a )Tj
0.05 Tc 10.3804 0.1812 -0.1448 8.2987 702.4392 308.6165 Tm
(program's )Tj
12.3953 0.2164 -0.1448 8.2987 753.5914 309.5096 Tm
(state. )Tj
0.0046 Tc 8.2987 0.1449 -0.1448 8.2987 464.3402 288.1372 Tm
(OBJ )Tj
0.05 Tc 9.8216 0.1715 -0.1448 8.2987 484.9571 288.4971 Tm
(can )Tj
10.5734 0.1846 -0.1448 8.2987 505.234 288.8511 Tm
(play )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 530.5701 289.2935 Tm
(a )Tj
0.05 Tc 8.9449 0.1562 -0.1448 8.2987 540.9585 289.4748 Tm
(number )Tj
10.5711 0.1846 -0.1448 8.2987 576.1432 290.0891 Tm
(of )Tj
11.2044 0.1956 -0.1448 8.2987 591.5808 290.3586 Tm
(roles )Tj
10.9498 0.1912 -0.1448 8.2987 621.9862 290.8895 Tm
(in )Tj
10.7448 0.1876 -0.1448 8.2987 636.9239 291.1503 Tm
(the )Tj
10.4533 0.1825 -0.1448 8.2987 657.4408 291.5085 Tm
(software )Tj
10.5248 0.1837 -0.1448 8.2987 702.8438 292.3011 Tm
(design )Tj
10.8345 0.1892 -0.1448 8.2987 738.4784 292.9233 Tm
(process. )Tj
14.131 0.2467 -0.1448 8.2987 465.085 271.8177 Tm
(It )Tj
10.7561 0.1878 -0.1448 8.2987 480.3926 272.0849 Tm
(serves )Tj
10.4698 0.1828 -0.1448 8.2987 515.9472 272.7057 Tm
(as )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 531.0949 272.9701 Tm
(a )Tj
0.05 Tc 11.0259 0.1925 -0.1448 8.2987 540.7534 273.1388 Tm
(vehicle )Tj
10.6427 0.1858 -0.1448 8.2987 582.1671 273.8618 Tm
(for )Tj
10.4242 0.182 -0.1448 8.2987 601.4842 274.1991 Tm
(understanding )Tj
10.9269 0.1908 -0.1448 8.2987 672.4833 275.4386 Tm
(the )Tj
9.6754 0.1689 -0.1448 8.2987 692.6802 275.7912 Tm
(problem )Tj
11.6395 0.2032 -0.1448 8.2987 733.434 276.5027 Tm
(to )Tj
9.7606 0.1704 -0.1448 8.2987 748.5917 276.7673 Tm
(be )Tj
10.4907 0.1832 -0.1448 8.2987 465.1815 263.4181 Tm
(solved. )Tj
12.836 0.2241 -0.1448 8.2987 506.2752 264.1355 Tm
(Its )Tj
10.3471 0.1806 -0.1448 8.2987 526.2721 264.4847 Tm
(non-executable )Tj
11.3325 0.1978 -0.1448 8.2987 601.8906 265.8049 Tm
(part )Tj
9.8216 0.1715 -0.1448 8.2987 627.2068 266.2469 Tm
(can )Tj
9.7606 0.1704 -0.1448 8.2987 647.2337 266.5965 Tm
(be )Tj
9.8098 0.1713 -0.1448 8.2987 662.5813 266.8645 Tm
(used )Tj
11.3486 0.1981 -0.1448 8.2987 687.9875 267.308 Tm
(to )Tj
10.9593 0.1913 -0.1448 8.2987 703.0352 267.5707 Tm
(define )Tj
11.3433 0.198 -0.1448 8.2987 739.1097 268.2005 Tm
(require\255)Tj
9.5742 0.1672 -0.1448 8.2987 464.9822 254.7733 Tm
(ments )Tj
11.0826 0.1935 -0.1448 8.2987 495.8475 255.3122 Tm
(against )Tj
9.4619 0.1652 -0.1448 8.2987 536.0214 256.0136 Tm
(which )Tj
10.9269 0.1908 -0.1448 8.2987 566.7167 256.5495 Tm
(the )Tj
10.4682 0.1828 -0.1448 8.2987 587.0336 256.9042 Tm
(executable )Tj
9.4512 0.165 -0.1448 8.2987 642.0752 257.8651 Tm
(modules )Tj
0.0242 Tc 8.2987 0.1449 -0.1448 8.2987 682.629 258.5731 Tm
(may )Tj
0.05 Tc 9.7606 0.1704 -0.1448 8.2987 703.0559 258.9298 Tm
(be )Tj
/C0_0 1 Tf
0 Tc 4.9194 0.0859 -0.1046 5.9991 718.1736 259.1937 Tm
<00760061006C00690064006100740065007E002E0020>Tj
/T1_1 1 Tf
0.05 Tc 10.5018 0.1833 -0.1448 8.2987 774.9649 260.1852 Tm
(In )Tj
12.3704 0.216 -0.1448 8.2987 465.1185 246.3844 Tm
(this )Tj
8.4507 0.1475 -0.1448 8.2987 490.3347 246.8247 Tm
(way )Tj
10.1379 0.177 -0.1448 8.2987 511.3215 247.1911 Tm
(simple )Tj
9.6545 0.1685 -0.1448 8.2987 545.5163 247.7881 Tm
(machine )Tj
10.542 0.1841 -0.1448 8.2987 587.1399 248.5148 Tm
(support, )Tj
10.9498 0.1912 -0.1448 8.2987 632.793 249.3118 Tm
(in )Tj
10.9269 0.1908 -0.1448 8.2987 647.4907 249.5684 Tm
(the )Tj
8.8615 0.1547 -0.1448 8.2987 668.5375 249.9359 Tm
(form )Tj
10.2929 0.1797 -0.1448 8.2987 693.4937 250.3716 Tm
(of )Tj
10.5357 0.1839 -0.1448 8.2987 708.4414 250.6325 Tm
(type )Tj
/C0_0 1 Tf
0 Tc 4.4527 0.0777 -0.113 6.4791 734.1475 251.0813 Tm
<0063007E00650063006B006C002E007E00670020>Tj
/T1_1 1 Tf
0.05 Tc 9.2418 0.1613 -0.1448 8.2987 465.6808 238.233 Tm
(and )Tj
10.6225 0.1855 -0.1448 8.2987 485.8177 238.5846 Tm
(execution, )Tj
9.8216 0.1715 -0.1448 8.2987 541.7392 239.5609 Tm
(can )Tj
9.2726 0.1619 -0.1448 8.2987 562.0061 239.9147 Tm
(be )Tj
9.6887 0.1692 -0.1448 8.2987 577.1138 240.1785 Tm
(used )Tj
11.6395 0.2032 -0.1448 8.2987 602.04 240.6136 Tm
(to )Tj
10.5471 0.1841 -0.1448 8.2987 617.3177 240.8804 Tm
(explore )Tj
10.9269 0.1908 -0.1448 8.2987 657.9515 241.5898 Tm
(the )Tj
9.6092 0.1678 -0.1448 8.2987 678.1484 241.9424 Tm
(problem )Tj
8.5974 0.1501 -0.1448 8.2987 718.6122 242.6488 Tm
(doma1n )Tj
9.3882 0.1639 -0.1448 8.2987 754.3567 243.2729 Tm
(qU1ckly )Tj
9.555 0.1668 -0.1448 8.2987 465.5775 229.8199 Tm
(and )Tj
10.9643 0.1914 -0.1448 8.2987 486.2944 230.1816 Tm
(rigorously. )Tj
8.7978 0.1536 -0.1448 8.2987 546.7151 231.2365 Tm
(The )Tj
11.8588 0.207 -0.1448 8.2987 567.162 231.5934 Tm
(result )Tj
10.2929 0.1797 -0.1448 8.2987 602.3566 232.2079 Tm
(of )Tj
12.0688 0.2107 -0.1448 8.2987 617.3044 232.4689 Tm
(this )Tj
11.9516 0.2087 -0.1448 8.2987 642.6505 232.9114 Tm
(activity )Tj
12.3436 0.2155 -0.1448 8.2987 688.7435 233.7161 Tm
(is )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 703.6412 233.9762 Tm
(a )Tj
/T1_0 1 Tf
0.05 Tc 11.0344 0.1926 -0.1395 7.9988 713.4897 234.1481 Tm
(validated )Tj
/T1_1 1 Tf
9.3985 0.1641 -0.1448 8.2987 764.8118 235.0442 Tm
(and )Tj
/T1_0 1 Tf
10.6582 0.1861 -0.1395 7.9988 465.4855 221.9071 Tm
(executable )Tj
10.6155 0.1853 -0.1395 7.9988 522.5268 222.903 Tm
(functional )Tj
9.2343 0.1612 -0.1395 7.9988 576.8785 223.8519 Tm
(model )Tj
/T1_1 1 Tf
10.5711 0.1846 -0.1448 8.2987 607.5338 224.3871 Tm
(of )Tj
11.4751 0.2003 -0.1448 8.2987 622.5315 224.6489 Tm
(parts )Tj
10.5711 0.1846 -0.1448 8.2987 653.1269 225.1831 Tm
(of )Tj
10.9269 0.1908 -0.1448 8.2987 668.3146 225.4482 Tm
(the )Tj
9.6754 0.1689 -0.1448 8.2987 688.5115 225.8009 Tm
(problem )Tj
9.4619 0.1652 -0.1448 8.2987 728.8053 226.5043 Tm
(which )Tj
11.008 0.1922 -0.1448 8.2987 759.9006 227.0472 Tm
(are )Tj
10.8492 0.1894 -0.1448 8.2987 780.3075 227.4035 Tm
(of )Tj
12.0223 0.2099 -0.1448 8.2987 466.3419 213.5208 Tm
(interest. )Tj
-0.0099 Tc 8.2987 0.1449 -0.1448 8.2987 465.9308 196.9511 Tm
(OBJ )Tj
0.05 Tc 11.4572 0.2 -0.1448 8.2987 486.4877 197.31 Tm
(specifications )Tj
11.12 0.1941 -0.1448 8.2987 562.3661 198.6347 Tm
(also )Tj
10.9806 0.1917 -0.1448 8.2987 587.8022 199.0788 Tm
(contribute )Tj
11.6395 0.2032 -0.1448 8.2987 643.0738 200.0438 Tm
(to )Tj
9.4628 0.1652 -0.1448 8.2987 658.4714 200.3126 Tm
(program )Tj
11.4556 0.2 -0.1448 8.2987 699.0952 201.0219 Tm
(specification )Tj
10.8842 0.19 -0.1448 8.2987 466.2473 188.5553 Tm
(since )Tj
10.9269 0.1908 -0.1448 8.2987 496.6027 189.0853 Tm
(the )Tj
10.6403 0.1858 -0.1448 8.2987 516.7696 189.4374 Tm
(values )Tj
10.978 0.1917 -0.1448 8.2987 552.6241 190.0634 Tm
(stored )Tj
9.2418 0.1613 -0.1448 8.2987 587.7288 190.6763 Tm
(and )Tj
10.1153 0.1766 -0.1448 8.2987 607.7157 191.0252 Tm
(manipulated )Tj
10.6539 0.186 -0.1448 8.2987 669.0763 192.0965 Tm
(in )Tj
10.9269 0.1908 -0.1448 8.2987 683.7741 192.3531 Tm
(the )Tj
12.2152 0.2133 -0.1448 8.2987 704.031 192.7067 Tm
(state )Tj
10.0148 0.1749 -0.1448 8.2987 734.8163 193.2442 Tm
(of )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 749.714 193.5043 Tm
(a )Tj
0.05 Tc 10.8894 0.1901 -0.1448 8.2987 759.8925 193.682 Tm
(pro\255)Tj
9.1016 0.1589 -0.1448 8.2987 465.9839 180.1495 Tm
(gram )Tj
10.8246 0.189 -0.1448 8.2987 491.63 180.5972 Tm
(are )Tj
10.6667 0.1862 -0.1448 8.2987 512.0368 180.9535 Tm
(concrete )Tj
11.0615 0.1931 -0.1448 8.2987 557.7099 181.7509 Tm
(representations )Tj
10.5711 0.1846 -0.1448 8.2987 638.4975 183.1613 Tm
(of )Tj
10.9269 0.1908 -0.1448 8.2987 653.6852 183.4265 Tm
(the )Tj
10.7744 0.1881 -0.1448 8.2987 673.7722 183.7772 Tm
(data )Tj
10.5072 0.1834 -0.1448 8.2987 699.2783 184.2225 Tm
(types )Tj
10.6043 0.1851 -0.1448 8.2987 730.1736 184.7619 Tm
(introduced )Tj
10.9498 0.1912 -0.1448 8.2987 467.0844 171.5274 Tm
(in )Tj
10.9269 0.1908 -0.1448 8.2987 481.7822 171.784 Tm
(the )Tj
10.3804 0.1812 -0.1448 8.2987 501.9891 172.1367 Tm
(program's )Tj
10.6729 0.1863 -0.1448 8.2987 553.4412 173.035 Tm
(functional )Tj
10.3739 0.1811 -0.1448 8.2987 608.1229 173.9897 Tm
(specificatioI}., )Tj
/C0_0 1 Tf
0 Tc 4.7513 0.0829 -0.1046 5.9991 683.8713 175.3122 Tm
<007E006800750073002C0020>Tj
/T1_1 1 Tf
-0.0244 Tc 8.2987 0.1449 -0.1448 8.2987 709.2175 175.7547 Tm
(OBJ )Tj
0.05 Tc 10.5932 0.1849 -0.1448 8.2987 729.7143 176.1125 Tm
(provides )Tj
0 Tc 8.2987 0.1449 -0.1448 8.2987 775.6873 176.9152 Tm
(a )Tj
/T1_0 1 Tf
0.05 Tc 10.2047 0.1782 -0.1395 7.9988 466.2969 163.3524 Tm
(vocabulary )Tj
10.6345 0.1857 -0.1395 7.9988 523.0682 164.3435 Tm
(for )Tj
10.1547 0.1773 -0.1395 7.9988 542.5852 164.6843 Tm
(use )Tj
11.2571 0.1965 -0.1395 7.9988 562.6822 165.0351 Tm
(in )Tj
10.6835 0.1865 -0.1395 7.9988 578.0598 165.3036 Tm
(pre-post )Tj
10.3946 0.1815 -0.1395 7.9988 622.963 166.0876 Tm
(order )Tj
/T1_1 1 Tf
9.9533 0.1738 -0.1448 8.2987 653.6283 166.6229 Tm
(specl.fl.catl.ons )Tj
10.8492 0.1894 -0.1448 8.2987 729.7367 167.9517 Tm
(of )Tj
9.6586 0.1686 -0.1448 8.2987 744.9643 168.2175 Tm
(program )Tj
9.6263 0.1681 -0.1448 8.2987 466.8933 154.9615 Tm
(components. )Tj
11.1007 0.1938 -0.1448 8.2987 466.9905 137.9206 Tm
(Finally )Tj
11.109 0.194 -0.1448 8.2987 507.5643 138.629 Tm
(the )Tj
10.5704 0.1845 -0.1448 8.2987 527.8812 138.9837 Tm
(executable )Tj
9.386 0.1639 -0.1448 8.2987 583.1628 139.9489 Tm
(modules )Tj
10.8492 0.1894 -0.1448 8.2987 623.6366 140.6555 Tm
(of )Tj
9.5307 0.1664 -0.1448 8.2987 638.9943 140.9236 Tm
(an )Tj
-0.0099 Tc 8.2987 0.1449 -0.1448 8.2987 654.132 141.1879 Tm
(OBJ )Tj
0.05 Tc 11.4133 0.1993 -0.1448 8.2987 674.6888 141.5468 Tm
(specification )Tj
10.9277 0.1908 -0.1448 8.2987 745.478 142.7827 Tm
(stand )Tj
10.7454 0.1876 -0.1448 8.2987 776.2433 143.3198 Tm
(as )Tj
/T1_0 1 Tf
11.2455 0.1963 -0.1395 7.9988 466.8671 129.5172 Tm
(blueprints )Tj
10.6345 0.1857 -0.1395 7.9988 523.6584 130.5087 Tm
(for )Tj
9.0964 0.1588 -0.1395 7.9988 543.3254 130.8521 Tm
(proaram )Tj
9.712 0.1696 -0.1395 7.9988 583.7392 131.5576 Tm
(code, )Tj
/T1_1 1 Tf
10.5848 0.1848 -0.1448 8.2987 613.7746 132.082 Tm
(thus )Tj
10.5654 0.1845 -0.1448 8.2987 638.8908 132.5205 Tm
(enabling )Tj
12.7706 0.223 -0.1448 8.2987 685.2038 133.3291 Tm
(initial )Tj
11.0336 0.1926 -0.1448 8.2987 724.6477 134.0177 Tm
(versions )Tj
10.5711 0.1846 -0.1448 8.2987 771.1206 134.8291 Tm
(of )Tj
9.6779 0.169 -0.1448 8.2987 467.1037 121.11 Tm
(programs )Tj
11.6395 0.2032 -0.1448 8.2987 512.8967 121.9095 Tm
(to )Tj
9.7606 0.1704 -0.1448 8.2987 528.0544 122.1741 Tm
(be )Tj
/C0_0 1 Tf
0 Tc 4.952 0.0865 -0.1507 8.6387 543.4121 122.4423 Tm
<0063006F006E007E00740072007500630074006500640020>Tj
/T1_1 1 Tf
0.05 Tc 11.0198 0.1924 -0.1448 8.2987 603.7129 123.4951 Tm
(systematically )Tj
8.9751 0.1567 -0.1448 8.2987 680.0812 124.8284 Tm
(from )Tj
11.5199 0.2011 -0.1448 8.2987 704.9774 125.263 Tm
(specifications. )Tj
10.5018 0.1833 -0.1448 8.2987 467.8009 104.0796 Tm
(In )Tj
10.88 0.19 -0.1448 8.2987 482.9585 104.3443 Tm
(these )Tj
11.441 0.1997 -0.1448 8.2987 513.6039 104.8793 Tm
(lectures )Tj
-0.0328 Tc 8.2987 0.1449 -0.1448 8.2987 558.567 105.6643 Tm
(we )Tj
0.05 Tc 10.4738 0.1829 -0.1448 8.2987 573.8247 105.9307 Tm
(explore )Tj
10.88 0.19 -0.1448 8.2987 613.9785 106.6317 Tm
(these )Tj
11.0787 0.1934 -0.1448 8.2987 644.8738 107.1711 Tm
(issues )Tj
9.2418 0.1613 -0.1448 8.2987 679.9085 107.7828 Tm
(and )Tj
10.7227 0.1872 -0.1448 8.2987 700.0554 108.1345 Tm
(consider )Tj
11.109 0.194 -0.1448 8.2987 745.4785 108.9275 Tm
(the )Tj
10.6909 0.1866 -0.1448 8.2987 765.9254 109.2845 Tm
(pos\255)Tj
12.7775 0.2231 -0.1448 8.2987 467.5974 95.6748 Tm
(sibility )Tj
10.5711 0.1846 -0.1448 8.2987 513.2705 96.4722 Tm
(of )Tj
11.0706 0.1933 -0.1448 8.2987 528.3781 96.736 Tm
(other )Tj
10.349 0.1807 -0.1448 8.2987 558.7035 97.2654 Tm
(kinds )Tj
10.2929 0.1797 -0.1448 8.2987 589.0989 97.7961 Tm
(of )Tj
9.3937 0.164 -0.1448 8.2987 603.8166 98.053 Tm
(machine )Tj
10.4818 0.183 -0.1448 8.2987 644.4804 98.763 Tm
(support )Tj
10.6427 0.1858 -0.1448 8.2987 685.5442 99.4799 Tm
(for )Tj
10.5808 0.1847 -0.1448 8.2987 704.9512 99.8187 Tm
(software )Tj
10.616 0.1853 -0.1448 8.2987 750.8242 100.6196 Tm
(en\255)Tj
10.9067 0.1904 -0.1448 8.2987 467.354 87.2693 Tm
(gineering )Tj
9.928 0.1733 -0.1448 8.2987 518.5662 88.1634 Tm
(based )Tj
8.8564 0.1546 -0.1448 8.2987 549.1915 88.6981 Tm
(on )Tj
10.726 0.1873 -0.1448 8.2987 564.5092 88.9655 Tm
(functional )Tj
11.4133 0.1993 -0.1448 8.2987 619.4208 89.9242 Tm
(specification )Tj
10.2554 0.179 -0.1448 8.2987 690.5199 91.1655 Tm
(languages. )Tj
-0.0012 Tc 8.2987 0.1449 -0.1448 8.2987 740.5437 74.7562 Tm
(D. )Tj
/T1_0 1 Tf
0.05 Tc 8.9863 0.1569 -0.1395 7.9988 755.7614 75.0219 Tm
(Coleman )Tj
ET
endstream
endobj
62 0 obj
<>/Filter/CCITTFaxDecode/Height 2420/Length 87884/Name/Im3/Subtype/Image/Type/XObject/Width 3448>>stream
zB#~GZǮӅ?Kr
oX2ɪlɹɺR1B#CY)0jԒuz-I
dto̒Į&>dɌa">eR"H+W@4DDbArLHfN\ҳuaS%
T