A DDC Bibliography on Computer-aided Logical Processes