MML review process

1. GAUSSINT (25.02/14.05)
2. NUMERAL2 (4.04/14.05)
3. NDIFF_6 (29.01/14.05)
4. NUMPOLY1 aka TRIANGLE (30.04)
5. TOPALG_7 (11.05)
6. INTEGR20 (4.04)
7. HUFFMAN1 (4.04)
8. MOEBIUS2 (23.05)

   ---

   FM 21(3), 2013

   ---

9. DBLSEQ_1 (30.01/22.05/24.08)
10. AESCIP_1 (1.04)
11. CAT_6 (2.07)
12. INTEGR21 (2.07)
13. GROUP_18 (5.07)
14. LATTICEA (4.09)
15. PREFER_1 (31.08)

    ---

    FM 21(4), 2013

    ---

16. ALTCAT_6 (29.10)
17. PETRI_3 (9.10)
18. NDIFF_7 (25.10, 29.12)
19. ORDEQ_02 (13.10)
20. ZMODUL04 (8.11)

    ---