A graphical specification tool for decentralized warehouse control systems by H.L. Liang