From logic to manuals again

Harold W. Thimbleby, Peter B. Ladkin. From logic to manuals again. IEE Proceedings - Software, 144(3):185-192, 1997.

Abstract

Abstract is missing.