Towards the Semantics of the Definitional Language of MetaSoft.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski

Browse the full FM paper archive.