TY  - RPRT
TI  - Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
AU  - James K. Huggins
PY  - 1998
UR  - https://arxiv.org/abs/cs/9810022
ID  - cs/9810022
ER  -