Formal semantics of Asbru – an overview - Balser, M; Duelli, C; Reif, W (Society for Design and Process Science, 2002)
pp