Describir: Deontic Logic and Computer-Supported Computer Ethics.