[Agda] Where is paper Short description of ALF

[Yakov Zaytsev]

Hello,

I've not found on the Internet electronic version of the paper 
   
   A Short Description of Another Logical Framework

by Augustsson, Coquand, and Nordström appeared in Proceedings of 
the First Workshop on Logical Frameworks.

I've came across this paper while reading Marting-Löf's type theory 
by Nordström, Petersson, and Smith.

Could anybody help me with the paper?

TIA

Best regards,
Yakov.