Dr Martín R. Raskovsky "Qed - Using the Software Engineering Project Editor" Programming Research Group, Oxford University, 1983.

Languages mentioned

• Q {1988}