Haridi, Seif; Janson, Sverker and Catuscia Palamidessi "Structural Operational Semantics of AKL" pp409-421.

(1992) Journal of Future Generation Computer Systems 8(1992)  

Languages mentioned AKL {1991} Andorra Kernel Language