Bengt JonssonBooksConcurrency theoryModel-Based Testing of Reactive SystemsConcur '94: Concurrency TheoryThe lumbar part of the erector spinae musclePrimary Open-Angle GlaucomaProtocol Specification, Testing, and Verification XIAuthor data: Open Library
