1. J.A. Bergstra & P. Klint.
   About 'trivial' software patents: The IsNot case.
   SCP 64 (2007) 264-285
   
   
2. J.A. Bergstra & C.A. Middelburg.
   Preferential choice and coordination conditions.
   J. of Logic and Algebraic Programming 70 (2007) 172-200
   
   
3. J.A. Bergstra & C.A. Middelburg.
   A thread algebra with multi-level strategic interleaving.
   Theory of computing systems, 41, (2007) 3-32
   DOI: 10.1007/s00224-006-1337-4
   
   
4. J.A. Bergstra & C.A. Middelburg.
   Thread algebra for strategic interleaving.
   Formal Aspects of Computing 19 (2007) 445-474
   DOI: 10.1007/s00165-007-0024-9
   
   
5. J.A. Bergstra & C.A. Middelburg.
   Synchronous cooperation for explicit multi-threading.
   Acta Informatica 44 (2007) 525-569
   DOI 10.1007/s00236-007-0057-9
   
   
6. J.A. Bergstra & C.A. Middelburg.
   Maurer Computers with Single-Thread Control.
   Fundamenta Informaticae 80 (2007) 333-362
   
   
7. J.A. Bergstra & A. Ponse.
   Execution architectures for program algebra.
   J. of Applied Logic 5 (2007) 170-192
   
   
8. J.A. Bergstra, I. Bethke, & A. Ponse.
   Decision problems for pushdown threads.
   Acta Informatica 44 (2007) 75-90
   
   
9. J.A. Bergstra, I. Bethke, & A. Ponse.
   Thread algebra and risk assessment services.
   In eds. Costas Dimitracopoulos, Ludomir Newelski, & Dag Normann,
   Logic Colloquium 2005, Cambridge Lecture Notes in Logic (nr 28), (2007) 1-18
   
   
10. J.A. Bergstra & J.V Tucker.
    The rational numbers as an abstract data type.
    J. ACM, vol. 54, Issue 2, Article no. 7 (April 2007) 25 pages.
    
    
11. J.A. Bergstra & J.V Tucker.
    Division Safe Calculation in Totalised Fields.
    Theory of Computing Systems, (15 pages) DOI 10.1007/s00224-007-9035-4
    
    
12. Karl de Leeuw & Jan Bergstra (Editors)
    The History of Information Security: A Comprehensive Handbook.
    Elsevier (2007)
    
    
13. Jan Bergstra & Mark Burgess (Editors)
    Handbook of Network and System Administration.
    Elsevier (2007)
    
    
14. Jan Bergstra & Inge Bethke
    Predictable and Reliable Program Code: Virtual-Machine based Projection Semantics.
    In: Jan Bergstra & Mark Burgess, Handbook of Network and System Administration, Elsevier (2007) 635-687
    
    
15. J.A. Bergstra, I. Bethke & M.Burgess.
    A process algebra based framework for promise theory.
    Amsterdam. Programming Research Group, UvA Electronic Report PRG0701
    www.arxiv.org (cs.LO) id 0707.0744.
    
    
16. J.A. Bergstra & C.A. Middelburg.
    Distributed strategic interleaving with load balancing.
    Technical University Eindhoven, Department of Computer Science, Report CS 07/03 (2007)
    (To appear in FGCS.)
    
    
17. J.A. Bergstra & C.A. Middelburg.
    Machine structure oriented control code logic.
    Technical University Eindhoven, Department of Computer Science, Report CS 07/10 (2007)
    (Submitted for publication.)
    www.arxiv.org (cs.LO) id 0711.0836
    
    
18. J.A. Bergstra & C.A. Middelburg.
    On the operating unit size of load/store architectures.
    (Submitted for publication.)
    www.arxiv.org (cs.LO) id 0711.0838
    
    
19. J.A. Bergstra & C.A. Middelburg.
    An interface group for process components.
    (Submitted for publication.)
    www.arxiv.org (cs.LO) id 0711.0834
    
    
20. J.A. Bergstra & C.A. Middelburg.
    Instruction sequences with indirect jumps.
    Scientific Annals in Computer Science vol. 17, "Alexandru Ioan Cusa University of Iasi, Romania" (2007) 19-45
    www.arxiv.org (cs.LO) id 0711.0298
    
    
21. J.A. Bergstra & C.A. Middelburg.
    Instruction sequences with dynamically instantiated actions.
    www.arxiv.org (cs.LO) id 0711.4217v1
    
    
22. J.A. Bergstra & C.A. Middelburg.
    Program algebra with a jump-shift instruction.
    www.arxiv.org (cs.LO) id 0712.1658v1
    
    
23. J.A. Bergstra & A. Ponse.
    Interface groups for financial transfer architectures.
    Amsterdam. Programming Research Group, UvA Electronic Report PRG0702
    www.arxiv.org (cs.SE) id 0707.1639.
    
    
24. Jan A. Bergstra, Alban Ponse & Mark B. van der Zwaag.
    Tuplix Calculus.
    www.arxiv.org (cs.LO) id 0712.3423v1
    Amsterdam. Programming Research Group, UvA Electronic Report PRG0713
    
    
25. Jan A. Bergstra, Sanne Nolst Trenite & Mark B. van der Zwaag.
    Towards a formalization of budgets.
    Amsterdam. Programming Research Group, UvA Electronic Report PRG0712
    www.science.uva.nl/~janb/budgetlogic
    
    
26. J.A. Bergstra, Y. Hirschfeld & J.V Tucker.
    Meadows.
    Amsterdam. Programming Research Group, UvA Electronic Report PRG0705
    (Submitted for publication)
    
    
27. J.A. Bergstra, Y. Hirschfeld & J.V Tucker.
    Skew Meadows.
    Amsterdam. Programming Research Group, UvA Electronic Report PRG0706
    (Submitted for publication.)
    
    
28. J.A. Bergstra, Y. Hirschfeld & J.V Tucker.
    Fields, meadows and abstract data types.
    Tel Aviv
    ("Thakthenbrot Festschrift".)
    
    
29. J.A. Bergstra & P. Klint.
    The software invention cube: a classification scheme for software inventions.
    Interim deliverable for an EC consulting project on software patents.
    (Submitted for publication.)
    
    
30. J.A. Bergstra & P. Klint.
    How to find a software patent?
    Draft interim deliverable for an EC consulting project on software patents.