Selmo Method Broschüre: 

Die Selmo Method ist ein formaler Entscheidungsrahmen für Maschinenverhalten. Sie definiert klar und deterministisch, was eine Maschine tun darf und was nicht, und zwar bevor eine einzige Zeile Code geschrieben wird.