How to verify the type/name of token received in a smart contract?

Question

Here is a sample contract which is designed to take xyz token. How can the contract verify that the sent is the xyz token?

pragma &q