Correctness in multi-user hierarchically structured information systems [thesis]

Alan Francis Sweet
doi:10.31274/rtd-180813-17409 fatcat:ebidlnebkbdzha7mkeni6d4uba