Andrzej Skowron Alberto Pettorossi Factual Knowledge For Developing Concurrent Programs. 26-31 1986 AAAI db/conf/aaai/aaai86-1.html#SkowronP86