The past temporal operators in multi-agent systems - Maleković, Mirko (Array, 1999)