A formal semantics for agent (re)organization | UPT Perpustakaan UHAMKA