Michele Bonini, Mirko Zichichi, Stefano Ferretti, Gabriele D'Angelo: Proof of Location through a Blockchain Agnostic Smart Contract Language. ICDCS Workshops 2023: 55-60