Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations | UPT Perpustakaan UHAMKA