Papers by Lex Bijlsma

Inaugural lecture

• Klasse-interferentie. Open Universiteit, June 2010. Also available as video.

Books

• Simultaneous approximations in transcendental number theory. Math. Centre Tracts 94. Mathematisch Centrum, Amsterdam, 1978.
• David Wells, Woordenboek van eigenaardige en merkwaardige getallen (translation). Uitgeverij Bert Bakker, Amsterdam, 1987.

Book chapters

• W.H.J. Feijen & A. Bijlsma, A mathematical treatment of Peterson's general mutual exclusion algorithm. In: E.W. Dijkstra (ed.), The formal development of programs and proofs. Addison-Wesley, Reading, 1990; pp. 152-158.
• Semantics of quasi-boolean expressions. In: W.H.J. Feijen et al. (eds.), Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer, New York, 1990; pp. 27-36.
• ETAC (A. Bijlsma, R.W. Bulterman, W.H.J. Feijen, C.S. Scholten, & J.C.S.P. van der Woude), The problem of the majority network. In: W.H.J. Feijen et al. (eds.), Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer, New York, 1990; pp. 112-118.
• Formal derivation of a stable marriage algorithm. In: W.H.J. Feijen & A.J.M. van Gasteren (eds.), C.S. Scholten dedicata: van oude machines en nieuwe rekenwijzen. Academic Service, Schoonhoven, 1991; pp. 5-25.
• ETAC (A. Bijlsma, R.W. Bulterman, W.H.J. Feijen, A.J.M. van Gasteren, R.R. Hoogerwoord, C.S. Scholten, & F.W. van der Sommen), Phase synchronization for a string of machines. In: E.H.L. Aarts et al. (eds.), Simplex sigillum veri. Eindhoven University of Technology, 1995; pp. 129-138.

Journal articles

• Representation of a natural number by positive binary quadratic forms of a given discriminant. Nieuw Arch. Wisk. (3) 23 (1975), 105-114.
• On the simultaneous approximation of a, b and a^b. Compos. Math. 35 (1977), 99-111.
• An elliptic analogue of the Franklin-Schneider theorem. Ann. Fac. Sci. Toulouse (5) 2 (1980), 101-116.
• A. Bijlsma & P.L. Cijsouw, Degree-free bounds for dependence relations. J. Austral. Math. Soc. ser. A 31 (1981), 496-507.
• Algebraic points of abelian functions in two variables. Ann. Fac. Sci. Toulouse (5) 4 (1982), 153-163.
• Simultaneous approximation of the coordinates of algebraic points of abelian functions. Indag. Math. 44 (1982), 265-275.
• A note on elliptic functions and approximation by algebraic numbers of bounded degree. Ann. Fac. Sci. Toulouse (5) 5 (1983), 39-42.
• A. Bijlsma, J.G. Wiltink, & P.A. Matthews, Equivalence of the Gries and Martin proof rules for procedure calls. Acta Inf. 23 (1986), 357-360.
• A. Bijlsma, P.A. Matthews, & J.G. Wiltink, A sharp proof rule for procedures in wp semantics. Acta Inf. 26 (1989), 409-419.
• Calculating with pointers. Sci. Comput. Prog. 12 (1989), 191-205. 
• Derivation of logic programs by functional methods. Inf. Proc. L. 39 (1991), 325-332.
• Quasi-boolean equivalence. Inf. Proc. L. 45 (1993), 243-247.
• Calculating with procedure calls. Inf. Proc. L. 46 (1993), 211-217.
• ETAC (A. Bijlsma, R.W. Bulterman, W.H.J. Feijen, A.J.M. van Gasteren, C.S. Scholten, F.W. van der Sommen, & A.I.J. Wijnands), Calculating the Galois Adjoint. Inf. Proc. L. 53 (1995), 137-139.
• A. Bijlsma & C.S. Scholten, Point-free substitution. Sci. Comput. Prog. 27 (1996), 205-214.
• Lex Bijlsma & Rob Nederpelt, Dijkstra-Scholten predicate calculus: concepts and misconceptions. Acta Inf. 35 (1998), 1007-1036.
• Model-based specification. Inf. Proc. L. 77 (2001), 77-84.

Conference proceedings

• Transformational programming and forests. In: J.L.A. van de Snepscheut (ed.), Mathematics of Program Construction (MPC'89, Enschede, June 1989). Lect. Notes Comput. Sci. 375. Springer, Berlin, 1989; pp. 157-173.
• A.J.M. van Gasteren & A. Bijlsma, An extension of the program derivation format. In: D. Gries & W.-P. de Roever (eds.), Programming Concepts and Methods (PROCOMET'98, Shelter Island, June 1998). Chapman & Hall, London, 1998; pp. 167-185.
• An application of program derivation techniques to 18th-century mathematics. In: J.T. Jeuring (ed.), Mathematics of Program Construction (MPC'98, Marstrand, June 1998). Lect. Notes Comput. Sci. 1422. Springer, Berlin, 1998; pp. 44-51.
• Kees Huizing & Ruurd Kuiper & SOOP (Lex Bijlsma, Rik van Geldrop, Louis van Gool, Kees Hemerik, Onno van Roosmalen, Jaap van der Woude, Gerard Zwaan), Verification of object oriented programs using class invariants, in: Tom Maibaum (ed.), Fundamental approaches to software engineering (FASE2000, Berlin, March 2000). Lect. Notes Comput. Sci. 1783. Springer, Berlin, 2000.
• Inge van de Weerd, Sjaak Brinkkemper, Richard Nieuwenhuis, Johan Versendaal and Lex Bijlsma, On the Creation of a Reference Framework for Software Product Management: Validation and Tool Support, in: Johan Versendaal et al. (eds.), Proceedings of 1st International Workshop on Software Product Management (IWSPM'06, Minneapolis/St. Paul, September 2006); pp. 3-12.
• Inge van de Weerd, Sjaak Brinkkemper, Richard Nieuwenhuis, Johan Versendaal and Lex Bijlsma, Towards a Reference Framework for Software Product Management. In: Martin Glinz & Robyn R. Lutz (eds.), 14th IEEE International Requirements Engineering Conference (RE'06, Minneapolis/St. Paul, September 2006). IEEE Computer Society, 2006; pp. 319-322. 
• Professional distance education. Keynote address, IFIP WG 3.2 working conference ICT Professionalism: a global challenge (IPROF-09, Arnhem, February 2009).
• Lex Bijlsma, Robert Schuwer and Evert van de Vrie, Informatica Open Educational Resources. In: F. Vodegel (ed.), Proceedings 9e Nationale Informatica Onderwijs Congres (NIOC 2009, Utrecht, April 2009), vol. 2. Hogeschool Utrecht, 2009; pp. 31-36.
• David Megías, Wouter Tebbens, Lex Bijlsma and Francesc Santanach, Free Technology Academy: a European initiative for distance education about Free Software and Open Standards. In Proceedings of the 14th Annual ACM SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE'09, Paris, July 2009). ACM, New York, 2009; pp. 70-74.
• Wouter Tebbens, David Megías, David Jacovkis and Lex Bijlsma, Free Technology Academy: Towards sustainable production of free educational materials. 3rd Free Culture Research Conference (Berlin, October 2010).
• Wouter Tebbens, David Megías, David Jacovkis and Lex Bijlsma, Free Technology Academy: A joint venture of Free Software and OER.7th Annual Open Education Conference (OpenEd 2010, Barcelona, November 2010).
• Lex Bijlsma and Wouter Tebbens, Free Technology Academy: Europees onderwijs over Vrije Software en Open Standaarden. In: Karel Lemmen and Evert van de Vrie (eds.), Proceedings 10e Nationale Informatica Onderwijs Congres (NIOC 2011, Heerlen, April 2011). Open Universiteit, Heerlen, 2011; pp. 30-33.
• Hanneke Potters, Adriana Berlanga and Lex Bijlsma, Peer production and peer support at the Free Technology Academy. In: Gerrit van der Veer, Peter Sloep and Marko van Eekelen (eds.), Computer Science Research Conference (CSERC'11, Heerlen, April 2011). Open Universiteit, Heerlen, 2011; pp. 49-56.
• Frans Mofers, Wouter Tebbens, Hanneke Potters and Lex Bijlsma, Shared QA for producing free educational materials at the FTA. In: Sebastian Hellman et al. (eds.), Proceedings of the 6th Open Knowledge Conference (OKCon 2011, Berlin, June 2011). CEUR Workshop Proceedings vol. 739.

Technical reports

• A unified approach to sequences, bags, and trees. Comp. Sci. Notes 88/13. Eindhoven University of Technology, Department of Mathematics and Computing Science, 1988.
• Temporal operators viewed as predicate transformers. Comp. Sci. Notes 93/41. Eindhoven University of Technology, Department of Mathematics and Computing Science, 1993.
• A. Bijlsma & R.P. Nederpelt, Predicate calculus: concepts and misconceptions. Comp. Sci. Reports 96-21. Eindhoven University of Technology, Department of Mathematics and Computing Science, 1996.
• Inge van de Weerd, Sjaak Brinkkemper, Richard Nieuwenhuis, Johan Versendaal and Lex Bijlsma, A reference framework for software product management. Tech. rep. UU-CS-2006-014. Universiteit Utrecht, Department of Information and Computing Sciences, 2006.

Other publications and conference talks

• Een bewijs van het ongerijmde. In: GEWIS Jaarboek 1992-1993. Studievereniging GEWIS, Eindhoven, 1994.
• Construction of pointer programs. In M. Schwarzbach, M. Sagiv & K. Weihe (eds.), Programs with recursively defined data structures (Dagstuhl Seminar 98161, April 1998); pp. 22-23.
• SOOP (Lex Bijlsma, Rik van Geldrop, Louis van Gool, Kees Hemerik, Kees Huizing, Ruurd Kuiper, Onno van Roosmalen, Jaap van der Woude, Gerard Zwaan), Model-based specification of design patterns. Nieuwsbrief NVTI 1999, 9-14.
• Richard Nieuwenhuis, Inge van de Weerd, Lex Bijlsma, Sjaak Brinkkemper, and Johan Versendaal, The Software Product Management Workbench: An Integrated Environment for Managing Product Releases in a Distributed Development Context. Presented at 18th Conference on Advanced Information Systems Engineering (CAISE'06, Luxembourg, June 2006).
• Paulo Trezentos, David Megías and Lex Bijlsma, Free knowledge in higher education. Panel discussion at Free Knowledge, Free Technology Conference (FKFT'08, Barcelona, July 2008).
• Ben Janssen, Lex Bijlsma and René Bakker, Networked Open University of Applied Sciences. Presented at ICDE 23rd World Conference (Maastricht, June 2009).
• Open Educational Resources. Presented at TopTech2009 conference (Maastricht, July 2009).
• Free Technology Academy: Europees onderwijs over Vrije Software en Open Standaarden. Presented at NOiV Jaarcongres (Utrecht, March 2010).
• Richard Nieuwenhuis, Frans Mofers and Lex Bijlsma, Virtual Extreme Programming Workbench: a Support Tool for Practitioners of Extreme Programming in a Distributed Environment. Presented at 28th Annual Pacific Northwest Software Quality Conference (Portland, October 2010).
• Architectuur als activiteit. Presented at Week van de Inspiratie (Apeldoorn, September 2011).
• Lex Bijlsma and Rik Bos, De waaier van informaticadisciplines. Presented at 11e Nationale Informatica Onderwijs Congres (NIOC 2013, Arnhem, April 2013).

Lecture notes

• Aspecten van programmeertalen (H.T.G. Weffers, ed., Eindhoven University of Technology, 1989)
• Pascal (Eindhoven University of Technology, 1992)
• Formele methoden (Eindhoven University of Technology, 1996)
• Wiskundige technieken in de informatica (Universiteit Utrecht, 2006)
• S. Stuurman, A. Bijlsma, B.J. Heeren and E.E. Roubtsova, Software architecture (Universiteit Utrecht and Open Universiteit, 2007; 3rd ed. 2011)
• A. Bijlsma, B.J. Heeren, E.E. Roubtsova and S. Stuurman, Software architecture (Free Technology Academy, 2011)

Some unpublished papers

• A case of context dependence in predicate calculus
• Punctuality, conjunctivity and monotonicity
  
• Simulating file operations: an exercise in calculational data refinement
• Integer divison through Galois connections
• The next permutation revisited
• Programming with preinvariants
• Specifications involving initial values