▁a ▁Pascal - like ▁programming ▁language ▁for ▁data ▁abstra ction ▁and ▁ver ification , ▁proposed ▁and ▁designed ▁by ▁William ▁A . ▁W ulf , ▁Ralph ▁L . ▁London , ▁and ▁Mary ▁Shaw . ▁The ▁language ▁was ▁the ▁subject ▁of ▁several ▁research ▁publications ▁in ▁the ▁late ▁ 1 9 7 0 s , ▁but ▁was ▁never ▁implemented . ▁Its ▁main ▁innov ative ▁feature ▁was ▁the ▁introduction ▁of ▁the ▁' form ' ▁dat atype , ▁which ▁comb ines ▁a ▁specification ▁and ▁a ▁proced ural ▁( exec utable ) ▁implementation . ▁It ▁also ▁took ▁the ▁generator ▁from ▁IP L - V , ▁as ▁well ▁as ▁the ▁mapping ▁functions ▁from ▁L isp ▁and ▁made ▁it ▁general ▁case . ▁ ▁References ▁ ▁Further ▁reading ▁▁▁ ▁Category : P as cal ▁( programming ▁language ) ▁Category : Ex perimental ▁programming ▁languages <0x0A> </s> ▁" Like ▁I ▁Do " ▁is ▁a ▁song ▁by ▁American ▁singer ▁Christ ina ▁Agu il era ▁from ▁her ▁e ighth ▁studio ▁album ▁Liber ation . ▁American ▁ra pper ▁Gold Link ▁is ▁featured ▁on ▁the ▁song . ▁The ▁track ▁was ▁released ▁as ▁the ▁third ▁single ▁on ▁June ▁ 7 , ▁ 2 0 1 8 . ▁A ▁ly ric ▁video ▁for ▁the ▁song ▁was ▁later ▁released ▁on ▁YouTube ▁in ▁June ▁ 2 1 , ▁ 2 0 1 8 . ▁The ▁single ▁received ▁a ▁Gram my ▁Award ▁nom ination ▁for ▁Best ▁Rap / S ung ▁Performance ▁at ▁the ▁ 6 1 st ▁Ann ual ▁Gram my ▁Awards , ▁held ▁in ▁ 2 0 1 9 . ▁