Temporal Logics of Repeating Values | UPT Perpustakaan UHAMKA