A logic for normative multi-agent programs | UPT Perpustakaan UHAMKA