The formal specification and implementation of a trusted third party protocol for license managementby Ali AlizadehWriting a summary for young readers…For young readersBook data: Open Library