A formal definition of time in LOTOS
scientific article; zbMATH DE number 1310403