First-order universality for real programs | UPT Perpustakaan UHAMKA