PakCat catalogue record IEEE Software Bibliographic details ISSN07407459 PublisherSpinellis, Diomidis Material typeJournal