Other publications and downloads can be  found at:



List of Publications

2012 - 2014

  1. Licensing of safety critical software for nuclear reactors. Common Position of seven European nuclear regulators and authorise technical support organisations (Revision 2013). Contributor and principal editor. Bel V, Brussels, 161p.  2013. http://www.belv.be/images/pdf/12-10%20common%20position%20-%202013%20revision%20(secure).pdf
  2. Assessment of Pre-existing Software for Use in Functions Important to Safety. Bel V Safety Guidance R-SG-13-001-0-e-1. July 2013. Bel V, Brussels, 2013. http://www.belv.be/images/pdf/r-sg-13-001-0-e-1.pdf
  3. Licensing Principles and Requirements for the Use of Models and Computer Calculation Codes in Safety Evaluations. Bel V Safety Guidance R-SG-13-002-0-e-1. With Olivier Destin. July 2013. http://www.belv.be/images/pdf/r-sg-13-002-0-e-1.pdf
  4. Paul Branquart (1937-2009). Notice Biographique. Volume XII of the “Nouvelle Biographie Nationale de l’Académie Royale des Sciences, des Lettres et des Beaux-Arts de Belgique ”.  Académie Royale des Sciences, des Lettres et des Beaux-Arts de Belgique, 2014.
  5. An International Regulator Task Force on Safety Critical Software for Nuclear Reactors”. 26th Annual Regulatory Information Conference (RIC).  Session TH 27: Safety Critical software - International Perspectives.  Washington DC, March 2014. See https://ric.nrc-gateway.gov/agenda.aspx
  6. Documentation Required for a Software Safety Case. Halden Workshop on Safety Demonstration and Justification of Digital I&C systems in NPPs – State of Practice and Challenges.  USA National Regulatory Commission (US NRC), Rockville MD, USA, March 13-14, 2014.  to appear.
  7. Topical Discussion Synopses.  Halden Workshop on Safety Demonstration and Justification of Digital I&C systems in NPPs – State of Practice and Challenges.  USA National Regulatory Commission (US NRC), Rockville MD, USA, March 13-14, 2014. to appear.



  1. Software for Computer Based Systems Important to Safety. Contributor and principal editor. IAEA Safety Standards Series. Safety Guide N° NS-G-1.1, ISBN 92-0-101800-2 (ISSN 1020-525X), 89 pp., September 2000
  2. Common position of European nuclear regulators for the licensing of safety critical software for nuclear reactors Contributor and principal editor. Report EUR 19265 EN. EuropeanCommission, Nuclear safety and the environment. ISBN 92_828_8178_4, 2000-IV, 81pp.
  3. Semantic Structures and Logic Properties of Computer-Based System Dependability Cases.  Nuclear Engineering and Design, Vol 203, pp. 87-106, 2001.
  4. Optimal Scheduling of Periodic Tests and Maintenance for Reliable Redundant Components.   Enlarged Halden Programme Group Meeting, Lillehammer, 11th-16th March 2001, session C1, paper 5, 9 pages.
  5. Concurrent Control with Readers and Writers - An Introduction.  In Software Fundamentals- Collected Papers by D.L. Parnas, Edited by D.M. Hoffman and D.M. Weiss, Addison –Wesley, 2001, pp. 387-392.
  6. Software for Systems Important to Safety: The New IAEA Safety Guide and the Common Position of European Nuclear Regulators. Proceedings OECD CNRA/CSNI Workshop on licensing and operating experience of computer based I&C systems , Hluboká nad Vltavou, Czech republic 25-27 September, 2001. OECD Nuclear Energy Agency, F-92130, Issy-les-Moulineaux, France, Vol. 2, pp.117-128.
  7. With D. Pavey, R. Bloomfield et al. Cost Effective Modernization of Systems Important to Safety (CEMSIS).  Proceedings of FISA-2001. EU Research in Reactor Safety. Luxemburg, 12-15 November 2001. EUR 20281. pp.213-225. ISBN 92-894-3455-4
  8. Hard Guidelines Made for Computer Software. Nuclear Engineering International, January 2002, Vol 47, N° 570, pp.37-40.
  9. With R. Bloomfield, B. Littlewood, L. Strigini. Search for the Unnecessary: Letter to the Editor. Nuclear Engineering International, January 2002, Vol 47, N° 570, p. 11.
  10. With  D. Pavey, R. Bloomfield et al. CEMSIS. Cost Effective Modernization of Systems Important to Safety. Pre-proceedings of FISA-2003. EU Research in Reactor Safety. Luxemburg, 10-13 November 2003. EUR 20281. pp.301-305.
  11. Towards a Deductive Approach for the Safety Justification of Computer Based Systems. IAEA Technical Meeting on Licensing Digital Instrumentation and Equipment in Nuclear Power Plants, Helsinki, 22-25 November 2005.
  12. On the Optimal Scheduling of Periodic Tests and Maintenance for Reliable Redundant Components. With Philippe Delsarte. Reliabilty Engineering and System Safety, Elsevier, Vol 91/1, pp.66-72. January 2006.
  13. V. Belevitch (1921-1999). Notice Biographique. Volume X of the “Nouvelle Biographie Nationale de l’Académie Royale des Sciences, des Lettres et des Beaux-Arts de Belgique ”.  Académie Royale des Sciences, des Lettres et des Beaux-Arts de Belgique, 2009, pages 35-42.
  14. The Belgian Electronic Mathematical Machine (1951-1962). An Account. In “Randell’s Tales: a Festschrift recognising the contributions of Brian Randell” Cliff Jones & John Lloyd, Ed.  Volume 6875 of the Lecture Notes in Computer Science Series. Springer Verlag, 2011.



  1. “A Clustering process in Graphs.” with Ph. Piret, E.G. Coffman, Jr.*, E.N. Gilbert* (* AT\&T Bell Research Laboratories, Murray Hill, N.J., USA), October 1989, also published in the Journal of Applied Probability, 28, 737-750 (1991).
  2. “Computing Conditional Distributions of Queueing Networks Matrices”. with P. Semal. Proc. First Int. Conf. on Numerical solutions of Markov Chains. January 8-10, 1990. Raleigh, NC, USA. Re-printed in "Numerical Solution of Markov Chains" ed. by W.J. Stewart, Marcel Dekker, New-York, 1991. ISBN 0-8247-8405-7, pp.329-356.
  3. “Bounds for Transient Characteristics of Markov Chains with Large or Infinite State Spaces “with P. Semal. Proc. First Int. Conf. on Numerical solutions of Markov Chains. January 8-10, 1990. Raleigh, NC, USA. Re-printed in "Numerical Solution of Markov Chains" ed. by W.J. Stewart, Marcel Dekker, New-York, 1991. ISBN 0-8247-8405-7, pp.413-434.
  4. "Project Definition for Networks Management". Philips Research Technical Note N192, June 1990.
  5. “On the Total Loss Probability of Service Stages in Series.”Adv. Appl. Prob. 22, 260-262 (1990).
  6. “Some Results on Traffic Control and Resource Allocation in ATM Networks.” with Guy Scheys. NATO Advanced Research Workshop "Architecture and Performance Issues of High - Capacity Localand Metropolitan Area Networks, Sophia-Antipolis, France, June 25-27, 1990.
  7. “Traffic Control and Resource Allocation in an ATM Customer Premises Network.” RACE project 1022, Document PRLB\_123\_0023\_CD\_CC, Septembre 1990.
  8. “Basic Research in Systems Communications Design. Internal note”, Philips Research Laboratory, Brussels, October 1990.
  9. “A Simulation of the Construction Process of a Termite Nest” With F. Heymans. October 1990. Journal of Theoretical Biology, 153, 469-475, (1991).
  10. “A Demonstrator of the the M/1-stage ATM Switching Block: User Guide”. With C. Blondia, F. Heymans, Philips TechnicalNote N198, January 1991.
  11. “Dynamic Policing Linear Control (DPLC) Mechanismsfor ATM Networks.” With N.P. Giannakouros (UCL). April 1991. Invited lecture at the International Conference on Distributed Systems and Communication Networks, Kyoto, Japan. September 1991.
  12. “Minimization of the Total Loss Rate of Two Finite Queues in Series.” With G. Scheys. IEEE Trans. on Communications,Vol. 39, 11, pp. 1651-1661, November 1991.
  13. “Predictably Dependable Computing Systems (PDCS2). A Proposal for an ESPRIT Basic Research Project”. Published by theComputer Science Department of Newcastle upon Tyne Univ., October 1991.
  14. “A Distributed Clustering Process.” with Ph. Piret, E.N. Gilbert and E.G. Coffman (AT&T Bell Laboratories), J. Appl.Prob. 28, 737-750 (1991)
  15. “Design and Validation of Safety-Critical Software. Concerns and Prospects.” with M. De Feu and C. Baudelet (AVN). 2nd ESREDA Seminar on "Safety of Systems Relying on Computers". SHELL Laboratories. Amsterdam, April 1992.
  16. “Modèles de Réseaux de Files d'Attente avec Pertes. Applications ATM.” Proc. XXIV Journées de Statistiques, Mai 1992, Univ. Libre de Bruxelles L.M.T.D. CP124, Av. Jeanne 44, B-1050, Bruxelles.
  17. “Software in the Nuclear Industry. A Regulatory Perspective.” Proc. IAEA Specialist Meeting on Software Important to Safety in Nuclear Plants, September 1992, Atomic Energy Control Laboratories, AECL, Chalk River, Ontario, Canada.
  18. “Documentation for Safety Critical Software.” with D.L. Parnas. Proceedings of the IAEA Specialist Meeting on Software Important to Safety in Nuclear Plants, September 1992, AECL Chalk River Laboratories, Ontario, Canada. Also published as Research Report 92-34 by Unité d' Informatique, FSA, Univ. Cath. de Louvain (October 1992); revised version presented at, and published in the Proceedings of the 15th International Conference on Software Engineering, May 1993, Baltimore, pp. 315-323.
  19. “On X2 Confidence Intervals.” AVN Technical Note 93/008. April 1993.
  20. “Predictably Dependable Computing Systems.” ESPRIT Basic Research Project 6362. First Year Report. Summary and Conclusions. University of Newcastle upon Tyne. September 1993.
  21. "State of the Art Report on Software Important to Safety." Editor with J. Pachner. Technical Report Series No 367. International Association for Atomic Energy (IAEA), Vienna, 170 pp. 1994.
  22. “Remarques Generiques sur les Formats d'Arbres de Fonctions Critiques de Sûreté.” AVN Safety Evaluation Report, SER/94/18/3200. July 1994.
  23. “Availability Bounds for Large Markovian Models of Fault - Tolerant Systems”. With P. Semal. Proc. of Predictably Dependable Computing Systems Second Open Workshop, Newcastle/Tyne, September 1994.
  24. “Report on the Enlarged OECD Halden Programme Group Meeting.” Bolskejo, Norway, 30 Oct-4 Nov. 1994, Technical Note AVN-CF/94/044.
  25. “Computable Dependability Bounds for Large Markov Chains” with P. Semal, March 1995, Research Report 95-2 Dept. Ingenierie Informatique, Univ. Cath. de Louvain. Published in “Predictably Dependable Computing Systems” (ed. B.Randell, J.-C. Laprie, H. Kopetz, B. Littlewood), ESPRIT BasicResearch Series, Springer-Verlag, 1995, ISBN 3-540-59334-9, pp. 507-518.
  26. “Software Safety Issues in Nuclear Applications and Installations.” August 1995, Research Report 95-8, Dept. Ingenierie Informatique Univ. Cath. Louvain. Also published in part D in the IAEA YearBook 1995, International Atomic Agency Publications, 1996, pp.D23-D27.
  27. “Book Review of “Safeware: Systems Safety and Computers” by N. Leveson”, in “The Scientist Bookshelf”, The American Scientist, Volume 84, pp.612-614, November-December 1996.
  28. EUR 18158 - European Nuclear Regulators’Current Requirements and Practices for the Licensing of Safety Critical Software for Nuclear Reactors. Chief Editor. Luxembourg: Office for Official Publications of the European Communities. 1998- 61pp. Nuclear science and technology series. ISBN 92-828-2355-5.
  29. Computer Based Systems important to Safety in Nuclear Power Plants. Co-Editor. Draft Safety Guide. International Atomic Energy Agency, Vienna, March 1997.78pp.
  30. Licensing of Computer-Based Systems Important to Safety. Co-Editor. Report NEA/CNRA/R(97)2. Committee on Nuclear Regulatory Activities, OECD Nuclear Energy Agency, Paris, 1997. 525pp.
  31. The Use of Computers in Safety Critical Applications. Co-author. Final Report of the Study Group on the Safety of Operational Computer Systems constituted by the UK Advisory Committee on the Safety of Nuclear Installations, Health and Safety Executive, London, 1998. 98 pp. Her majesty’s Stationery Office, St Clemens House, Norwich ,UK. 98pp. ISBN 0 7176 160 7
  32. Bayesian Belief Network Model for the Safety Assessment of Nuclear Computer - based Systems. with N.E. Fenton, B. Littlewood, M. Neil, L. Strigini, D.R. Wright. DeVa TR N°52, In Second Year Report of DeVa, Esprit long term research project 20072, pp. 485-512. Computing Science Laboratory, Univ. of Newcastle upon Tyne. December 1997. Also from www.newcastle.research.ec.org/deva/trs/index.html
  33. Examination of Bayesian Belief Network for Safety Assessmentof Nuclear Computer-based Systems. with B. Littlewood, L. Strigini, D. Wright. In Third Year Report of DeVa, Esprit long term research project 20072, pp. 411-448. Computing Science Laboratory, Univ. of Newcastle upon Tyne. December 1998. Available from www.newcastle.research.ec.org/deva/trs/index.html
  34. Semantic Structures and Logic Properties of Computer-based Systems Dependability Cases. In Third Year Report of DeVa, Esprit long term research project 20072, pp. 411-448. Computing Science Laboratory, Univ. of Newcastle upon Tyne. December 1998. Available from www.newcastle.research.ec.org/deva/trs/index.html
  35. Towards a Definition for Safety Cases of Computer Based Systems. In the Proceedings of the OECD Halden Reactor Project Meeting on Systems Research and High Burn-up Fuel Performance, Loen, Norway May 1999. Halden Publication HPR-352, Vol. 1..
  36. Year 2000 safety issues:How to provide confidence during the millenium roll over of the nuclear installations. P.-J. Courtois, J.-Y. Henry (IPSN, Paris), H. Heinson (GRS, Munich), A. Vandewalle (AVN,Brussels). International EUROSAFE 1999, Paris, November 18-19, 1999.
  37. Bayesian Belief Networks for Safety Assessment of Computer-Based Systems. With B. Littlewood, L. Strigini, D. Wright, N. Fenton, M. Neil from City University, London. In the Proceedings of PERFORMANCE 99, Istanbul, October 1999.



  1. The M/G/1 Finite Capacity Queue with Delays, MBLE Research Report R374, July 1978. Published in IEEE Trans. on Communications, vol. COM-28, 2, pp. 165-172, February 1980.
  2. "A Flow Assignment Algorithm Based on the Flow Deviation Method" with P. Semal, MBLE Research Report R423, February 1980. Published in Proc. 5th Internat. Conf. on Communications Networks, Atlanta, October 1980, pp. 77-83.
  3. "An Algorithm for the Optimization of Non-bifurcated Flows inComputer Communication Networks" with P. Semal, Performance Evaluation, 1,(1981), pp. 139-152.
  4. "On Executing a Set of Transactions in Parallel while Preserving Serializability". with E. Milgrom and J. Xu. Comp. Sc. Department Report, Univ. Catholique de Louvain, November 1982.
  5. "Error Minimization in Decomposable Stochastic Models".In "Applied Probability Computer Science; The Interface" vol. I, pp. 189-210, Birkhauser, Boston, 1982.
  6. "Topological Optimization of Communication Networks with Discrete Capacity Values." With P. Semal, Philips PRLB Research Report R467. January 1983.
  7. "Foreword for the Book :" Probability and Computer Science" ed. by G.Louchard and G.Latouche, Academic Press, 1983.
  8. "User guide to DCFA1, an Interactive Program for the Optimal Assignement of Disrete Capacities and Flows in Computer Communications Networks."With P.Semal, Philips PRLB Technical Note N153, February 1983.
  9. "Bounds for the Positive Eigenvectors of Non Negative Irreducible Matrices, and for their approximations by decomposition." With P.Semal, Philips PRLB manuscript M62, July 1983. Published in: Journal of the ACM, Vol 31, N°4, 804-825, Octobre 1984.
  10. "Error Bounds for the Analysis by Decomposition of Non-Negative Matrices." With P.Semal. Proc.Intern. Workshop on Applied Mathematics and Performance Reliability Models of Computer/Communication Systems, Univ. of Pisa, Septembre 1983,253-262. Also in Mathematical Computer Performance and Reliability, Iazeolla, Courtois, Hordijk, Ed., North-Holland, 1984, 209-224.
  11. "On Polyhedra of Perron-Frobenius Eigenvectors" with P.Semal, Philips PRLB Manuscript M72, Decembre 1983. Also published in Linear Algebra and its Applications, 65, 157-170, February 1985.
  12. "Mathematical Computer Performance and Reliability" Edited with G.Iazeolla and A.Hordijk, North-Holland, 1984, 430p.
  13. "On Time and Space Decomposition of Complex Structures" Philips PRLB Research Manuscript M 83, June 1984. Published in Communications of the ACM, Vol. 28, 6, 590-603, June 1985.
  14. "Block Decomposition and Iteration in Stochastic Matrices." With P.Semal, Philips Journal of Research, Vol. 39, No 4/5, 178-194, November 1984.
  15. "Analysis of large Markovian Models by Parts. Applications to Queueing Network Models" In. Messung, Modellierung und Bewertung von Rechenensystemen. GI/NTH-Fachtung, Dortmund. October 1985. Springer Verlag.
  16. "Block Iterative algorithms for Stochastic Matrices." With P. Semal, Linear Algebra and its Applications. Vol. 76, pp.59-70, April 86.
  17. "Informatique, Telecommunications et Mathématiques" Philips Manuscript, Mars 1986.
  18. "Computable Bounds for Large Markov Chains and Queueing Models" IEEE Trans. on Selected Areas in Communications. Vol SAC-4, No.6, September 1986, pp.926-937. With P. Semal.
  19. "Bounds on Conditional Steady-State Distributions in Large Markovian and Queueing Models" Teletraffic Analysis and Computer performance Evaluation.With P. Semal, O. Boxma, Cohen, and Tijms Ed., Elsevier Sc. Publ., North Holland, 1986, pp. 499-520.
  20. "RACE Definition Phase Final Report, Project 2037. With C. Blondia, H. Juechter (Philips Kommunicatie Industie, Nuernberg), R. Lehnert (PKI, Nuernberg), " Methods for Piecewise Development and Construction of Telecommunication Systems. Modelling and Application Requirements" December 1986.
  21. "A Distributed Controller for a Non-Persistent CSMA Channel" Philips Research Report, March 1987. With P Semal, G. Scheys.
  22. "A Bayesian Estimator for Controlling the Load Offered to a CSMA Channel" Philips Research Report, April 1987. With G. Scheys, P.Semal.
  23. "Channel Access Protocols and Routing Strategies for Mobile Packet RadioNetworks" Philips Journal of Research, 43,291-323,1988. With G. Scheys and P.Semal.
  24. "Stability Analysis of Large Markov Chains", Proceedings of Performance '87, December 1987, North-Holland, pp. 363-382, with P. Semal.
  25. "A Distributed Queue for Bus Capacity Allocation in ATD Systems" Philips Research Report, June 1988.
  26. "``Zero Gain per Loss'' Rules for Finite Capacity Servers in Series" Philips Research Report, April 1988.
  27. "Performance Analysis of an ATD Switching Element" Philips Research Report, June 1988, with C. Blondia.
  28. "Minimization of the Loss Probability for Two Finite Queues in Series" Philips Research Report, July 1988, to appear in IEEE Transactions on Communications, with G. Scheys.
  29. "Estimation and Distributed Control of the access rate for unslotted CSMA and ALOHA channels." Philips Research Report, December 1988, with G. Scheys and P. Semal.
  30. Channel Access Control and Tidal Flow Routing in Multihop Packet Radio Networks. Proceedings SP-5 (Vol. 1) of the Symposium on Packet Radio,The Hague, April 1989. Published by the SHAPE Technical Center, The Hague, the Netherlands. With Guy Scheys, P. Semal, D.M. Ball (Mullard Electronics Laboratories), A. Mc. Carrey (MEL), and P.J. Stein (MEL).
  31. Minimizing the Loss of Non-Blocking Tandem Buffer Stages Proceedings of the ITC Specialist Seminar on Traffic Theories for New Telecommunications Services, Adelaide University, South Australia, Septembre 1989, Paper No. 7.3, with G. Scheys. Reprinted in Computer and ISDN Systems, 20, 27-37, December 1990.
  32. Report on the ITC Seminar: "Traffic Theories for New Telecommunication Services, Adelaide, September 1989." Philips Technical Note N 187, November 1989.



  1. "Multiprogramming in Storage Hierarchies" Séminaire de Programmation, année 1969-1970, Institut de Mathematiques Appliquées, Université de Grenoble.
  2. "An Evaluation of the Stationary Behavior of Computations in Multiprogramming Computer Systems" with J. Georges, Proceedings of the 1970 International Computing Symposium of the ACM European Chapters, Bonn, Germany, May 1970.
  3. "Some Extensions of the Concurrent Control with Readers and Writers" with A. Van Lamsweerde, MBLE Research Report R162, March 1971.
  4. "On a Single-Server Finite Queueing Model with State-Dependent Arrival and Service Processes"with J. Georges, Operation Research, the Journal of the O.R. Society of America, pp. 424-435, vol. 19, no 2, March - April 1971.
  5. "Concurrent Access with Readers and Writers" with, F. Heymans, D.L. Parnas, Communications of the ACM, New York, October 1971.
  6. "On the Near-Complete-Decomposability of Networks of Queues and of Stochastic Models of Multiprogramming Computing Systems" Carnegie Mellon Univ. Research Report CMU-CS-72-111, November 1971.
  7. Review "Synchronization of Communicating Processes" by N.A. Haberman,
    CACM 15,3" in Computing Reviews, September 1972 (CR23810)
  8. "A Comparison of Two Synchronizing Concepts" with F. Heymans and D.L. Parnas, Acta Informatica, vol. 1, fasc. 4, 1972.
  9. "On Starvation: A Useful Equivalence" with M. Braun, J. Georges, MBLE Res. Report R249, March 1974.
  10. "Information Streams Sharing a Finite Buffer" with F. Heymans, D.L. Parnas and L.W. Cooprider, Information Processing Letters, 3, 1, July 1974.
  11. "Error-Analysis in Nearly Completely Decomposable Systems" Econometrica, 43, 4, 671-709, July 1975.
  12. "Decomposability, Instabilities and Saturation in Multiprogramming systems" Communications of the ACM, 18, 7, 371-377, July 1975.
  13. "Further Results on Instabilities and Saturation in Multiprogramming Systems" MBLE Research Report R317, with H. Vantilborgh, December 1975.
  14. "Decomposability with Applications to Queueing Network and Computer System Analysis" Thèse de Docteur en Sciences Appliquées présentée à la Faculté des Sciences Appliquées de l'Université Catholique de Louvain, May 1976.
  15. "Review of "Solving Synchronization Problems using Semaphores", by RADUE and MULLINS" in Soft. Practice \& Experience 5, 1, Computing Reviews, May 1976 (CR 29855)
  16. "A Decomposable Model of Program Paging Behaviour" with H. Vantilborgh, Acta Informatica, 6, 251-275, 1976.
  17. "Approximation of Eigencharacteristics in Nearly-completely Decomposable Stochastic Systems" with G. Louchard, Univ. Libre de Bruxelles, in Stochastic Processes & Appl., 4, 283-296, 1976.
  18. "Decomposability: Queueing and Computer System Applications", Academic Press, 1977 (201 pp.).
  19. "On Starvation Prevention" with J. Georges, RAIRO Informatique Computer Science, vol. 11, no 2, 127-141.
  20. "The Error of Aggregation. Comments on Zarling's Analysis" MBLE Report R345, March 1977.
  21. "Exact Aggregation in Queueing Networks", Proc. First AFCET-SMF meeting on Applied Mathematics, Ecole Polytechnique de Palaiseau (France), vol. I, 35-51, September 1978.
  22. "Stable and Unstable Congestions in Markovian Queues" with H. Vantilborgh, MBLE Research Report R382, September 1978.
  23. "Review of "Measuring, Modeling and Evaluating Computer Systems", Beilner & Gelenbe, North-Holland 1977." Computing Reviews, April 1979 (CR34328).



  1. "A note on the Grenoble Symposium on Time-Sharing" July 1966, MBLE Technical Note 20.
  2. "An experimental operating system on the P3 computer" December 1966, MBLE Technical Note N24.
  3. "Implementation of a Conversational Programming Language processor" September 1967, MBLE Technical Note N33.
  4. "Programming the Transput Operations on the EL-X8 System" with F. Heymans, March 1968, MBLE Technical Note N39.
  5. "On a Colloquy on Conversational Programming Systems Held at GrenobleUniversity" December 1968, MBLE Technical Note N45.
  6. "Aide-memoire for a Programming Language Adapted to On-line Numerical Calculations" with J. Georges, F. Heymans, October 1969, MBLE Technical Note N57.
  7. "A Stochastic Model for Computer Systems Evaluation" Part I (December 1968) and II (January 1970), with J. Georges, MBLE Research Report R95