@Unpublished{     salvati:hal-01145494,
  Author        = "Salvati, Sylvain and Walukiewicz, Igor",
  date-added    = "2015-06-04 14:11:57 +0000",
  date-modified = "2015-06-04 14:12:55 +0000",
  hal_id        = "hal-01145494",
  hal_version   = "v1",
  Keywords      = "readme",
  Month         = "April",
  PDF           = "https://hal.archives-ouvertes.fr/hal-01145494/file/m.pdf",
  Title         = "{A model for behavioural properties of higher-order programs}",
  URL           = "https://hal.archives-ouvertes.fr/hal-01145494",
  Year          = "2015",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-01145494",
  File          = "A model for behavioural properties of higher-order programs - Salvati, Walukiewicz (0) (1) - a - a - n.pdf"
}

@Unpublished{ salvati:hal-01145494, Author = "Salvati, Sylvain and Walukiewicz, Igor", date-added = "2015-06-04 14:11:57 +0000", date-modified = "2015-06-04 14:12:55 +0000", hal_id = "hal-01145494", hal_version = "v1", Keywords = "readme", Month = "April", PDF = "https://hal.archives-ouvertes.fr/hal-01145494/file/m.pdf", Title = "{A model for behavioural properties of higher-order programs}", URL = "https://hal.archives-ouvertes.fr/hal-01145494", Year = "2015", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-01145494", File = "A model for behavioural properties of higher-order programs - Salvati, Walukiewicz (0) (1) - a - a - n.pdf" }