The Abstract State Machine Language. cited Oct 2004, http://research.microsoft.com/fse/asml (0)

by Microsoft FSE Group