Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks
A.  Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).