Temporal Assertions with Parametrized Propositions | UPT Perpustakaan UHAMKA