https://profilbaru.com/vi/Formal_Aspects_of_Computing