PakCat catalogue record ACM transactions on software engineering & methodo Bibliographic details ISSN1049331X PublisherNotkin, David Material typeJournal