Liu, Zhiming2019-03-062024-04-222019-03-062024-04-222013978-3-642-39721-9https://drs.ess.gov.et/handle/12345678/51552enTheories of ProgrammingHybrid SystemsUnifying Theories of Programming and Formal Engineering MethodsBook