The enriched effect calculus: syntax and semantics | UPT Perpustakaan UHAMKA