2. An Algebraic Definition of Simulation Between Programs. AIM-142

3. Correctness of two compilers for a Lisp subset

4. \doc\p\arpa

5. \doc\s\a2e\kk

6. Intention, memory, and computer understanding

7. Intention, Memory, and Computer Understanding. AIM-140

8. \jmc06\cartes\rls

9. \jmc06\comp\wru

10. \jmc06\diff\lsp

11. \jmc06\echo\fai

12. \jmc06\ex3

13. \jmc06\exx\pub

14. \jmc06\finl71

15. \jmc06\funs\mls

16. \jmc06\inst\lsp

17. \jmc06\lcom5\rls

18. \jmc06\lcomt\lsp

19. \jmc06\lib\rls

20. \jmc06\lispn

21. \jmc06\mkmap\rls

22. \jmc06\permu2\rls

23. \jmc06\permut\rls

24. \jmc06\pulabl\pui

25. \jmc06\reva

26. \jmc06\reva\lap

27. \jmc06\stud

28. \jmc06\symfun\rls

29. \jmc06\syntax\doc

30. \jmc06\syntax\pub

31. \jmc06\teach

32. \jmc06\tes1\rls

33. \jmc06\trans1\lsp

34. \jmc25\char\rls

35. \jmc25\deg6\in

36. \jmc25\grpalg\rls

37. \jmc25\grpdat\rls

38. \jmc25\ideas

39. \jmc25\knuth\sai

40. \jmc25\panic\sos

41. \jmc25\paths\rls

42. \jmc25\puzza\sai

43. \jmc25\puzzb\sai

44. \jmc25\puzze\f4

45. \jmc25\puzze\sai

46. \jmc25\puzz\sai

47. \jmc25\r42\in

48. \jmc25\refer\enc

49. \jmc\ai\chess