"LOTOSphere: Software Development with LOTOS" von Chris Vissers ist ein umfassendes Werk, das sich mit der Anwendung der formalen Beschreibungssprache LOTOS (Language of Temporal Ordering Specification) im Bereich der Softwareentwicklung...