5. References

An introduction to object-oriented programming as modeling using qBeta is described in the (draft) book:

•  An Introduction to Object-Oriented Programming as Modeling by Ole Lehrmann Madsen and Birger Møller-Pedersen. 

Programming as modeling is discussed in the papers below::

• Ole Lehrmann Madsen, Birger Møller-Pedersen: A Unified Approach to Modeling and Programming. MoDELS (1) 2010: 1-15
• Ole Lehrmann Madsen, Birger Møller-Pedersen: This Is Not a Model – On Development of a Common Terminology for Modeling and Programming. ISoLA (1) 2018: 206-224
• Ole Lehrmann Madsen, Birger Møller-Pedersen: What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming. Onward! 2022: 220-239
• Ole Lehrmann Madsen, Birger Møller-Pedersen: What your mother forgot to tell you about modeling – and programming, SAM 2023

Support for concurrency and supplementary properties are described in the papers below:

• Ole Lehrmann Madsen. 2014. Building Safe Concurrency Abstractions. In Concurrent Objects and Beyond, G. Agha, A. Igarashi, N. Kobayashi, H. Masuhara, S. Matsuoka, E. Shibayama, and K Taura (Eds.). Springer, Berlin, Heidelberg, 66–104.
• Ole Lehrmann Madsen. Using Coroutines for Multi-core Preemptive Scheduling.  Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS ’21). New York: Association for Computing Machinery, 2021. p. 46-52. https://doi.org/10.1145/3477113.3487271
• Ole Lehrmann Madsen, Birger Møller-Pedersen: Using Supplementary Properties to Reduce the Need for Documentation. ISoLA (2) 2022: 35-59

The debugger for qBeta is described in:

• Ole Lehrmann Madsen. Using Object-Sequence Diagrams for Debugging. DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, July 2023. Pages 11–22. https://doi.org/10.1145/3605155.3605864

Descriptions of BETA and The Mjølner BETA system are available from the following sources: 

1. O.L. Madsen, B. Møller-Pedersen, K. Nygaard: Object-Oriented Programming in the BETA Programming Language, ACM Press, Addison-Wesley, 1993. A reprint is available from https://users-cs.au.dk/olmadsen/.
2. B.B. Kristensen, O.L. Madsen, B. Møller-Pedersen: The When, Why and Why Not of the BETA Programming Language, ACM History of Programming Languages III, Conference, San Diego 2007.
   https://doi.org/10.1145/1238844.1238854
3. A description of The Mjølner System may be found here.