John0Jules Ch Meyer

• Deontic Logic in Computer Science