Jakub Bojanowski Jakub Bojanowski Michal Iglewski Jan Madey Abdellatif Obaid Functional approach to protocols specification. 395-402 1994 conf/pstv/1994 PSTV db/conf/pstv/pstv1994.html#BojanowskiIMO94 Michal Iglewski Jan Madey Abdellatif Obaid